Marc Brockschmidt

Citado por

	Total	Desde 2017
Citas	6225	5728
Índice h	31	27
Índice i10	44	39

1700

850

425

1275

20112012201320142015201620172018201920202021202223 55 40 87 91 138 284 539 893 1238 1669 1089

Acceso público

Ver todo

19 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Daniel TarlowResearch Scientist, Google Brain - MontrealDirección de correo verificada de cs.toronto.edu
Jürgen GieslProfessor of Computer Science, RWTH Aachen UniversityDirección de correo verificada de informatik.rwth-aachen.de
Miltiadis AllamanisGoogle ResearchDirección de correo verificada de google.com
Alexander L GauntDeepMindDirección de correo verificada de google.com
Carsten FuhsSenior Lecturer, Birkbeck, University of LondonDirección de correo verificada de dcs.bbk.ac.uk
Florian FrohnRWTH Aachen University, Aachen, GermanyDirección de correo verificada de cs.rwth-aachen.de
Richard ZemelProfessor of Computer Science, University of TorontoDirección de correo verificada de cs.toronto.edu
Oleksandr PolozovGoogle XDirección de correo verificada de google.com
Yujia LiResearch Scientist, DeepMindDirección de correo verificada de google.com
Rishabh SinghResearch Scientist, Google BrainDirección de correo verificada de google.com
Byron CookProfessor of Computer Science, UCL, AmazonDirección de correo verificada de cs.ucl.ac.uk
Nate KushmanResearch Scientist, DeepMindDirección de correo verificada de kushman.org
Sebastian NowozinPartner Research Manager, Machine Intelligence, Microsoft Research (Cambridge, UK)Dirección de correo verificada de microsoft.com
Matej BalogResearch Scientist, DeepMindDirección de correo verificada de google.com
Pushmeet KohliDeepMindDirección de correo verificada de google.com
Chenglong WangMicrosoft ResearchDirección de correo verificada de microsoft.com
Qi LiuUniversity of OxfordDirección de correo verificada de cs.ox.ac.uk
Po-Sen HuangResearch Scientist, DeepMindDirección de correo verificada de google.com
Pengcheng YinGoogleDirección de correo verificada de google.com
Shruti TopleMicrosoft ResearchDirección de correo verificada de microsoft.com

Seguir

Marc Brockschmidt

Research Scientist, Google Research

Dirección de correo verificada de google.com

Software Verification Automated Reasoning Deep Learning Graph Neural Networks


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Gated Graph Sequence Neural Networks Y Li, D Tarlow, M Brockschmidt, R Zemel International Conference on Learning Representations (ICLR), 2016	2509	2016
Learning to Represent Programs with Graphs M Allamanis, M Brockschmidt, M Khademi International Conference on Learning Representations (ICLR), 2018	568	2018
DeepCoder: Learning to Write Programs M Balog, AL Gaunt, M Brockschmidt, S Nowozin, D Tarlow International Conference on Learning Representations (ICLR), 2017	504	2017
Constrained Graph Variational Autoencoders for Molecule Design Q Liu, M Allamanis, M Brockschmidt, AL Gaunt Conference on Neural Information Processing Systems (NeurIPS), 2018	301	2018
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	249	2019
Structured Neural Summarization P Fernandes, M Allamanis, M Brockschmidt International Conference on Learning Representations (ICLR), 2019	159	2019
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	136	2017
Generative Code Modeling with Graphs M Brockschmidt, M Allamanis, AL Gaunt, O Polozov International Conference on Learning Representations (ICLR), 2019	120	2019
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	116	2016
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	111	2014
Better termination proving through cooperation M Brockschmidt, B Cook, C Fuhs International Conference on Computer Aided Verification (CAV), 413-429, 2013	97	2013
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	95	2010
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	85	2014
Analyzing runtime and size complexity of integer programs M Brockschmidt, F Emmes, S Falke, C Fuhs, J Giesl ACM Transactions on Programming Languages and Systems (TOPLAS) 38 (4), 1-50, 2016	83	2016
Learning to Represent Edits P Yin, G Neubig, M Allamanis, M Brockschmidt, AL Gaunt International Conference on Learning Representations (ICLR), 2019	75	2019
Automated detection of nontermination and NullPointerExceptions for Java Bytecode M Brockschmidt, T Ströder, C Otto, J Giesl Formal Verification of Object-Oriented Software (FoVeOOS), 123-141, 2012	66	2012
T2: Temporal Property Verification M Brockschmidt, B Cook, S Ishtiaq, H Khlaaf, N Piterman Tools and Algorithms for the Construction and Analysis of Systems (TACAS …, 2016	60	2016
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	58	2018
GNN-FiLM: Graph Neural Networks with Feature-wise Linear Modulation M Brockschmidt International Conference on Machine Learning (ICML), 2020	54	2020
Graph Partition Neural Networks for Semi-Supervised Classification R Liao, M Brockschmidt, D Tarlow, A Gaunt, R Urtasun, R Zemel International Conference on Learning Representations [Workshop Track] (ICLR), 2018	53	2018

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores