1 code implementation • NeurIPS 2021 • Miltiadis Allamanis, Henry Jackson-Flux, Marc Brockschmidt
Machine learning-based program analyses have recently shown the promise of integrating formal and probabilistic reasoning towards aiding software development.
3 code implementations • ICLR 2022 • Krzysztof Maziarz, Henry Jackson-Flux, Pashmina Cameron, Finton Sirockin, Nadine Schneider, Nikolaus Stiefl, Marwin Segler, Marc Brockschmidt
Recent advancements in deep learning-based modeling of molecules promise to accelerate in silico drug discovery.