| 2025 |
A* |
conf |
ICML
Jasper Dekoninck, Maximilian Baader, Martin T. Vechev
|
| 2025 |
J |
jnl |
CoRR
Robin Staab, Jasper Dekoninck, Maximilian Baader, Martin T. Vechev
|
| 2025 |
J |
jnl |
CoRR
Ivo Petrov, Jasper Dekoninck, Martin T. Vechev
|
| 2025 |
J |
jnl |
CoRR
Niels Mündler, Jasper Dekoninck, Martin T. Vechev
|
| 2025 |
J |
jnl |
CoRR
Johannes Schmitt, Gergely Bérczi, Jasper Dekoninck, Jeremy Feusi, Tim Gehrunger, Raphael Appenzeller, Jim Bryan, Niklas Canova, Timo de Wolff, Filippo Gaia, Michel van Garrel, Baran Hashemi, David Holmes, Aitor Iribar Lopez, Victor Jaeck, Martina Jørgensen, Steven Kelk, Stefan Kuhlmann, Adam Kurpisz, Chiara Meroni, Ingmar Metzler, Martin Möller, Samuel Muñoz-Echániz, Robert Nowak, Georg Oberdieck, Daniel Platt, Dylan Possamaï, Gabriel Ribeiro, Raul Sanchez Galan, Zheming Sun, Josef Teichmann, Richard P. Thomas, Charles Vial
|
| 2025 |
J |
jnl |
CoRR
Mislav Balunovic, Jasper Dekoninck, Ivo Petrov, Nikola Jovanovic, Martin T. Vechev
|
| 2025 |
A* |
conf |
ICML
Mislav Balunovic, Jasper Dekoninck, Nikola Jovanovic, Ivo Petrov, Martin T. Vechev
|
| 2025 |
J |
jnl |
CoRR
Mislav Balunovic, Jasper Dekoninck, Nikola Jovanovic, Ivo Petrov, Martin T. Vechev
|
| 2025 |
A* |
conf |
ICLR
Jasper Dekoninck, Maximilian Baader, Martin T. Vechev
|
| 2025 |
J |
jnl |
CoRR
Ivo Petrov, Jasper Dekoninck, Lyuben Baltadzhiev, Maria Drencheva, Kristian Minchev, Mislav Balunovic, Nikola Jovanovic, Martin T. Vechev
|
| 2025 |
J |
jnl |
CoRR
Jasper Dekoninck, Ivo Petrov, Kristian Minchev, Mislav Balunovic, Martin T. Vechev, Miroslav Marinov, Maria Drencheva, Lyuba Konova, Milen Shumanov, Kaloyan Tsvetkov, Nikolay Drenchev, Lazar Todorov, Kalina Nikolova, Nikolay Georgiev, Vanesa Kalinkova, Margulan Ismoldayev
|
| 2024 |
J |
jnl |
CoRR
Jasper Dekoninck, Maximilian Baader, Martin T. Vechev
|
| 2024 |
A* |
conf |
NeurIPS
Jasper Dekoninck, Mark Niklas Müller, Martin T. Vechev
|
| 2024 |
J |
jnl |
CoRR
Jasper Dekoninck, Mark Niklas Müller, Martin T. Vechev
|
| 2024 |
A* |
conf |
ICLR
Jasper Dekoninck, Marc Fischer, Luca Beurer-Kellner, Martin T. Vechev
|
| 2024 |
J |
jnl |
CoRR
Jasper Dekoninck, Mark Niklas Müller, Maximilian Baader, Marc Fischer, Martin T. Vechev
|
| 2024 |
J |
jnl |
CoRR
Jasper Dekoninck, Maximilian Baader, Martin T. Vechev
|
| 2024 |
J |
jnl |
Proc. ACM Program. Lang.
Anouk Paradis, Jasper Dekoninck, Benjamin Bichsel, Martin T. Vechev
|
| 2023 |
J |
jnl |
CoRR
Jasper Dekoninck, Marc Fischer, Luca Beurer-Kellner, Martin T. Vechev
|