Marc Brockschmidt
发表
Jürgen Giesl,
Marc Brockschmidt,
Stephan Falke,
2016,
ACM Trans. Program. Lang. Syst..
Richard S. Zemel,
Yujia Li,
Marc Brockschmidt,
2015,
ICLR.
Marc Brockschmidt,
Alexander L. Gaunt,
Daniel Tarlow,
2016,
ICML.
Sebastian Nowozin,
Marc Brockschmidt,
Alexander L. Gaunt,
2016,
ICLR.
Pushmeet Kohli,
Rishabh Singh,
Marc Brockschmidt,
2016,
ArXiv.
Daniel Larraz,
Albert Oliveras,
Enric Rodríguez-Carbonell,
2015,
2015 Formal Methods in Computer-Aided Design (FMCAD).
Santiago Zanella Béguelin,
Marc Brockschmidt,
Boris Köpf,
2019,
CCS.
J. Filliâtre,
Wojciech Mostowski,
Radu Grigore,
2011
.
Chenglong Wang,
Rishabh Singh,
Marc Brockschmidt,
2018
.
Marc Brockschmidt,
Philipp Rümmer,
Chencheng Liang,
2022,
ArXiv.
Marc Brockschmidt,
Chencheng Liang,
P. Rummer,
2022,
2206.06986.
Oleksandr Polozov,
Marc Brockschmidt,
Miltiadis Allamanis,
2018
.
Marc Brockschmidt,
Carsten Fuhs,
Byron Cook,
2013,
CAV.
Andrew Y. K. Foong,
S. Nowozin,
Marc Brockschmidt,
2023,
ArXiv.
Qi Liu,
Marc Brockschmidt,
Alexander L. Gaunt,
2018,
NeurIPS.
Marc Brockschmidt,
Miltiadis Allamanis,
Ho-Hsiang Wu,
2019,
ArXiv.
Rishabh Singh,
Po-Sen Huang,
Chenglong Wang,
2018,
1807.03100.
Marc Brockschmidt,
Miltiadis Allamanis,
Patrick Fernandes,
2018,
ICLR.
Graham Neubig,
Marc Brockschmidt,
Alexander L. Gaunt,
2018,
ICLR.
Marc Brockschmidt,
Pashmina Cameron,
Nadine Schneider,
2021,
ICLR.
Marwin H. S. Segler,
Krzysztof Maziarz,
Marc Brockschmidt,
2021,
NeurIPS Datasets and Benchmarks.
Marc Brockschmidt,
Marc Brockschmidt,
2019,
ICML.
Marc Brockschmidt,
Fabian Emmes,
Carsten Fuhs,
2013
.
Marc Brockschmidt,
Miltiadis Allamanis,
Mahmoud Khademi,
2017,
ICLR.
Oleksandr Polozov,
Marc Brockschmidt,
Miltiadis Allamanis,
2019,
NeurIPS.
Nan Duan,
Marc Brockschmidt,
Miltiadis Allamanis,
2021,
ICLR.
Oleksandr Polozov,
Marc Brockschmidt,
Alexander L. Gaunt,
2018,
ICLR.
Marc Brockschmidt,
Miltiadis Allamanis,
Henry Jackson-Flux,
2021,
NeurIPS.
Marc Brockschmidt,
Miltiadis Allamanis,
Sheena Panthaplackel,
2020,
AAAI.
Po-Sen Huang,
Chenglong Wang,
Rishabh Singh,
2018,
ArXiv.
Renjie Liao,
Raquel Urtasun,
Richard S. Zemel,
2018,
ICLR.
Gidon Ernst,
Radu Grigore,
Vladimir Klebanov,
2011,
FoVeOOS.
Marc Brockschmidt,
Alexander L. Gaunt,
Daniel Tarlow,
2016,
ICLR.
Daniel Larraz,
Albert Oliveras,
Enric Rodríguez-Carbonell,
2017,
TACAS.
Jürgen Giesl,
Marc Brockschmidt,
Peter Schneider-Kamp,
2014,
Journal of Automated Reasoning.
Jürgen Giesl,
Marc Brockschmidt,
René Thiemann,
2016,
Journal of Automated Reasoning.
Jürgen Giesl,
Marc Brockschmidt,
Carsten Otto,
2011,
RTA.
Marc Brockschmidt,
Miltiadis Allamanis,
Dobrik Georgiev,
2022,
Trans. Mach. Learn. Res..
Marc Brockschmidt,
Miltiadis Allamanis,
M. Khademi,
2017,
ICLR.
Santiago Zanella Béguelin,
Marc Brockschmidt,
Boris Köpf,
2019,
arXiv.org.
Alexander L. Gaunt,
Graham Neubig,
Marc Brockschmidt,
2018,
ICLR.
Marc Brockschmidt,
Alexander L. Gaunt,
Daniel Tarlow,
2016,
1611.01988.
Marc Brockschmidt,
Miltiadis Allamanis,
Marc Brockschmidt,
2017,
ArXiv.
Yuxin Chen,
Pushmeet Kohli,
Marc Brockschmidt,
2017,
SAS.
Yuxin Chen,
Pushmeet Kohli,
Marc Brockschmidt,
2016
.
Marc Brockschmidt,
Juergen Giesl,
Carsten Otto,
2012
.
Yuxin Chen,
Pushmeet Kohli,
Marc Brockschmidt,
2016
.
Emine Yilmaz,
Marc Brockschmidt,
Niklas Stoehr,
2019,
ArXiv.
Marc Brockschmidt,
Sebastiaan J. C. Joosten,
René Thiemann,
2017,
CADE.
Marc Brockschmidt,
Matthias Naaf,
Jurgen Giesl,
2019,
ACM Trans. Program. Lang. Syst..
Marc Brockschmidt,
Fabian Emmes,
Carsten Fuhs,
2016,
ACM Trans. Program. Lang. Syst..
Jürgen Giesl,
Marc Brockschmidt,
Matthias Naaf,
2016,
IJCAR.
Jürgen Giesl,
Marc Brockschmidt,
René Thiemann,
2014,
IJCAR.
Marc Brockschmidt,
Alexander L. Gaunt,
Daniel Tarlow,
2016,
ICLR.
Marc Brockschmidt,
Alexander L. Gaunt,
Daniel Tarlow,
2016,
ICLR.
Krzysztof Maziarz,
Marc Brockschmidt,
N. Stiefl,
2021,
ICLR.
Marc Brockschmidt,
Chencheng Liang,
P. Rümmer,
2022,
PAAR@IJCAR.