Sledovat
Marc Brockschmidt
Marc Brockschmidt
Research Scientist, Google DeepMind
E-mailová adresa ověřena na: google.com
Název
Citace
Citace
Rok
Gated Graph Sequence Neural Networks
Y Li, D Tarlow, M Brockschmidt, R Zemel
International Conference on Learning Representations (ICLR), 2016
43532016
CodeSearchNet Challenge: Evaluating the State of Semantic Code Search
H Husain, HH Wu, T Gazit, M Allamanis, M Brockschmidt
arXiv preprint arXiv:1909.09436, 2019
11772019
Learning to Represent Programs with Graphs
M Allamanis, M Brockschmidt, M Khademi
International Conference on Learning Representations (ICLR), 2018
10382018
DeepCoder: Learning to Write Programs
M Balog, AL Gaunt, M Brockschmidt, S Nowozin, D Tarlow
International Conference on Learning Representations (ICLR), 2017
7392017
Constrained Graph Variational Autoencoders for Molecule Design
Q Liu, M Allamanis, M Brockschmidt, AL Gaunt
Conference on Neural Information Processing Systems (NeurIPS), 2018
5972018
Structured Neural Summarization
P Fernandes, M Allamanis, M Brockschmidt
International Conference on Learning Representations (ICLR), 2019
2732019
Generative Code Modeling with Graphs
M Brockschmidt, M Allamanis, AL Gaunt, O Polozov
International Conference on Learning Representations (ICLR), 2019
2232019
GNN-FiLM: Graph Neural Networks with Feature-wise Linear Modulation
M Brockschmidt
International Conference on Machine Learning (ICML), 2020
1892020
Analyzing program termination and complexity automatically with AProVE
J Giesl, C Aschermann, M Brockschmidt, F Emmes, F Frohn, C Fuhs, ...
Journal of Automated Reasoning 58 (1), 3-31, 2017
1792017
Analyzing Information Leakage of Updates to Natural Language Models
S Zanella-Béguelin, L Wutschitz, S Tople, V Rühle, A Paverd, ...
Computer and Communications Security (CCS), 2020
1422020
Proving termination of programs automatically with AProVE
J Giesl, M Brockschmidt, F Emmes, F Frohn, C Fuhs, C Otto, M Plücker, ...
International Joint Conference on Automated Reasoning (IJCAR), 184 - 191, 2014
1322014
Learning to Represent Edits
P Yin, G Neubig, M Allamanis, M Brockschmidt, AL Gaunt
International Conference on Learning Representations (ICLR), 2019
1312019
Self-Supervised Bug Detection and Repair
M Allamanis, H Jackson-Flux, M Brockschmidt
Neural Information Processing Systems (NeurIPS), 2021
1302021
TerpreT: A Probabilistic Programming Language for Program Induction
AL Gaunt, M Brockschmidt, R Singh, N Kushman, P Kohli, J Taylor, ...
arXiv preprint arXiv:1608.04428, 2016
1282016
Robust text-to-sql generation with execution-guided decoding
C Wang, K Tatwawadi, M Brockschmidt, PS Huang, Y Mao, O Polozov, ...
arXiv preprint arXiv:1807.03100, 2018
1162018
Automated termination analysis of Java Bytecode by term rewriting
C Otto, M Brockschmidt, C Von Essen, J Giesl
Rewriting Techniques and Applications (RTA), 259-276, 2010
1072010
Better termination proving through cooperation
M Brockschmidt, B Cook, C Fuhs
International Conference on Computer Aided Verification (CAV), 413-429, 2013
1062013
Program synthesis and semantic parsing with learned code idioms
EC Shin, M Allamanis, M Brockschmidt, A Polozov
Neural Information Processing Systems (NeurIPS), 2019
1052019
Learning to extend molecular scaffolds with structural motifs
K Maziarz, H Jackson-Flux, P Cameron, F Sirockin, N Schneider, N Stiefl, ...
International Conference on Learning Representations (ICLR), 2022
1022022
Alternating runtime and size complexity analysis of integer programs
M Brockschmidt, F Emmes, S Falke, C Fuhs, J Giesl
Tools and Algorithms for the Construction and Analysis of Systems (TACAS …, 2014
972014
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20