Timon Gehr

27 papers A* 15A 1Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
qblaze: An Efficient and Scalable Sparse Quantum Simulator.
Proc. ACM Program. Lang.
Hristo Venev, Thien Udomsrirungruang, Dimitar Dimitrov, Timon Gehr, Martin T. Vechev
2024 J jnl
AlphaIntegrator: Transformer Action Search for Symbolic Integration Proofs.
CoRR
Mert Ünsal, Timon Gehr, Martin T. Vechev
2024 J jnl
Modular Synthesis of Efficient Quantum Uncomputation.
CoRR
Hristo Venev, Timon Gehr, Dimitar Dimitrov, Martin T. Vechev
2024 J jnl
Modular Synthesis of Efficient Quantum Uncomputation.
Proc. ACM Program. Lang.
Hristo Venev, Timon Gehr, Dimitar Dimitrov, Martin T. Vechev
2022 A* conf
Provably Robust Adversarial Examples.
ICLR
Dimitar Iliev Dimitrov, Gagandeep Singh, Timon Gehr, Martin T. Vechev
2022 — —
Symbolic Methods for Machine Intelligence.
Timon Gehr
2021 A* conf
Robustness certification with generative models.
PLDI
Matthew Mirman, Alexander Hägele, Pavol Bielik, Timon Gehr, Martin T. Vechev
2020 A* conf
Probabilistic Verification of Network Configurations.
SIGCOMM
Samuel Steffen, Timon Gehr, Petar Tsankov, Laurent Vanbever, Martin T. Vechev
2020 J jnl
Robustness Certification of Generative Models.
CoRR
Matthew Mirman, Timon Gehr, Martin T. Vechev
2020 J jnl
Scalable Inference of Symbolic Adversarial Examples.
CoRR
Dimitar I. Dimitrov, Gagandeep Singh, Timon Gehr, Martin T. Vechev
2020 A* conf
Silq: a high-level quantum language with safe uncomputation and intuitive semantics.
PLDI
Benjamin Bichsel, Maximilian Baader, Timon Gehr, Martin T. Vechev
2020 A* conf
λPSI: exact inference for higher-order probabilistic programs.
PLDI
Timon Gehr, Samuel Steffen, Martin T. Vechev
2019 J jnl
An abstract domain for certifying neural networks.
Proc. ACM Program. Lang.
Gagandeep Singh, Timon Gehr, Markus Püschel, Martin T. Vechev
2019 — conf
Boosting Robustness Certification of Neural Networks.
ICLR (Poster)
Gagandeep Singh, Timon Gehr, Markus Püschel, Martin T. Vechev
2019 A* conf
Certifying Geometric Robustness of Neural Networks.
NeurIPS
Mislav Balunovic, Maximilian Baader, Gagandeep Singh, Timon Gehr, Martin T. Vechev
2019 A* conf
DL2: Training and Querying Neural Networks with Logic.
ICML
Marc Fischer, Mislav Balunovic, Dana Drachsler-Cohen, Timon Gehr, Ce Zhang, Martin T. Vechev
2018 A* conf
AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation.
IEEE Symposium on Security and Privacy
Timon Gehr, Matthew Mirman, Dana Drachsler-Cohen, Petar Tsankov, Swarat Chaudhuri, Martin T. Vechev
2018 A* conf
Bayonet: probabilistic inference for networks.
PLDI
Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, Martin T. Vechev
2018 A* conf
DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization.
CCS
Benjamin Bichsel, Timon Gehr, Dana Drachsler-Cohen, Petar Tsankov, Martin T. Vechev
2018 A* conf
Differentiable Abstract Interpretation for Provably Robust Neural Networks.
ICML
Matthew Mirman, Timon Gehr, Martin T. Vechev
2018 A* conf
Fast and Effective Robustness Certification.
NeurIPS
Gagandeep Singh, Timon Gehr, Matthew Mirman, Markus Püschel, Martin T. Vechev
2018 A conf
Fine-Grained Semantics for Probabilistic Programs.
ESOP
Benjamin Bichsel, Timon Gehr, Martin T. Vechev
2018 A* conf
Incremental inference for probabilistic programs.
PLDI
Marco F. Cusumano-Towner, Benjamin Bichsel, Timon Gehr, Martin T. Vechev, Vikash K. Mansinghka
2018 A* conf
Training Neural Machines with Trace-Based Supervision.
ICML
Matthew Mirman, Dimitar Dimitrov, Pavle Djordjevic, Timon Gehr, Martin T. Vechev
2017 A* conf
Synthesis of Probabilistic Privacy Enforcement.
CCS
Martin Kucera, Petar Tsankov, Timon Gehr, Marco Guarnieri, Martin T. Vechev
2016 — conf
PSI: Exact Symbolic Inference for Probabilistic Programs.
CAV (1)
Timon Gehr, Sasa Misailovic, Martin T. Vechev
2015 — conf
Learning Commutativity Specifications.
CAV (1)
Timon Gehr, Dimitar Dimitrov, Martin T. Vechev