Gehr, Timon

8 publications

NeurIPSW 2024 Constraint-Based Synthetic Data Generation for LLM Mathematical Reasoning Timofey Fedoseev, Dimitar Iliev Dimitrov, Timon Gehr, Martin Vechev

ICLR 2022 Provably Robust Adversarial Examples Dimitar Iliev Dimitrov, Gagandeep Singh, Timon Gehr, Martin Vechev

ICLR 2019 Boosting Robustness Certification of Neural Networks Gagandeep Singh, Timon Gehr, Markus Püschel, Martin Vechev

NeurIPS 2019 Certifying Geometric Robustness of Neural Networks Mislav Balunovic, Maximilian Baader, Gagandeep Singh, Timon Gehr, Martin Vechev

ICML 2019 DL2: Training and Querying Neural Networks with Logic Marc Fischer, Mislav Balunovic, Dana Drachsler-Cohen, Timon Gehr, Ce Zhang, Martin Vechev

ICML 2018 Differentiable Abstract Interpretation for Provably Robust Neural Networks Matthew Mirman, Timon Gehr, Martin Vechev

NeurIPS 2018 Fast and Effective Robustness Certification Gagandeep Singh, Timon Gehr, Matthew Mirman, Markus Püschel, Martin Vechev

ICML 2018 Training Neural Machines with Trace-Based Supervision Matthew Mirman, Dimitar Dimitrov, Pavle Djordjevic, Timon Gehr, Martin Vechev