Vechev, Martin T.

2 publications

AAAI 2021 Efficient Certification of Spatial Robustness Anian Ruoss, Maximilian Baader, Mislav Balunovic, Martin T. Vechev

ICLR 2017 Program Synthesis for Character Level Language Modeling Pavol Bielik, Veselin Raychev, Martin T. Vechev