Marc Brockschmidt
Publications by Year
Research Areas
Software Testing and Debugging Techniques, Software Engineering Research, Formal Methods in Verification, Logic, programming, and type systems, Topic Modeling
Most-Cited Works
- → Gated Graph Sequence Neural Networks(2015)446 cited
- → CodeSearchNet Challenge: Evaluating the State of Semantic Code Search(2019)417 cited
- → Constrained Graph Variational Autoencoders for Molecule Design(2018)234 cited
- → DeepCoder: Learning to Write Programs(2016)230 cited
- → Analyzing Program Termination and Complexity Automatically with AProVE(2016)124 cited
- → Structured Neural Summarization(2018)116 cited
- → Proving Termination of Programs Automatically with AProVE(2014)92 cited
- → Analyzing Information Leakage of Updates to Natural Language Models(2020)88 cited