432 citations · 2.3k across the 29 of their papers we have counts for
31 papers
Customizing an LLM for Enterprise Software Engineering
Aditya Kini, Satish Chandra, Milad Hashemi +15
Enterprise software development is a continuous evolutionary process, characterized by incremental additions, architectural revisions, production deployments and rigorous maintenan…
Timewarp: Transferable Acceleration of Molecular Dynamics by Learning Time-Coarsened Dynamics
Leon Klein, Andrew Y. K. Foong, Tor Erlend Fjelde +5
Molecular dynamics (MD) simulation is a widely used technique to simulate molecular systems, most commonly at the all-atom resolution where equations of motion are integrated with…
Exploring Representation of Horn Clauses using GNNs (Extended Technical Report)
Chencheng Liang, Philipp Rümmer, Marc Brockschmidt
Learning program semantics from raw source code is challenging due to the complexity of real-world programming language syntax and due to the difficulty of reconstructing long-dist…
HEAT: Hyperedge Attention Networks
Dobrik Georgiev, Marc Brockschmidt, Miltiadis Allamanis
Learning from structured data is a core machine learning task. Commonly, such data is represented as graphs, which normally only consider (typed) binary relationships between pairs…
Learning to Complete Code with Sketches
Daya Guo, Alexey Svyatkovskiy, Jian Yin +3
Code completion is usually cast as a language modelling problem, i.e., continuing an input in a left-to-right fashion. However, in practice, some parts of the completion (e.g., str…
Self-Supervised Bug Detection and Repair
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. However, in the absen…