Jonathan Laurent

According to our database, Jonathan Laurent authored at least 13 papers between 2015 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

LLM-Powered Automatic Theorem Proving and Synthesis for Hybrid Systems and Game.

Aditi Kabra, Jonathan Laurent, Ruben Martins, Stefan Mitsch, André Platzer

CoRR, March, 2026

2025

Hybrid Game Control Envelope Synthesis.

Aditi Kabra, Jonathan Laurent, Stefan Mitsch, André Platzer

CoRR, August, 2025

Oracular Programming: A Modular Foundation for Building LLM-Enabled Software.

Jonathan Laurent, André Platzer

CoRR, February, 2025

Adaptive Shielding via Parametric Safety Proofs.

Yao Feng, Jun Zhu, André Platzer, Jonathan Laurent

Dataset, February, 2025

Adaptive Shielding via Parametric Safety Proofs.

Yao Feng, Jun Zhu, André Platzer, Jonathan Laurent

Proc. ACM Program. Lang., 2025

Can Large Language Models Autoformalize Kinematics?

Aditi Kabra, Jonathan Laurent, Sagar Bharadwaj, Ruben Martins, Stefan Mitsch, André Platzer

Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, 2025

2024

CESAR: Control Envelope Synthesis via Angelic Refinements.

Aditi Kabra, Jonathan Laurent, Stefan Mitsch, André Platzer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Asymmetric quantum decision-making.

Honoka Shiratori, Hiroaki Shinkawa, André Röhm, Nicolas Chauvet, Etsuo Segawa, Jonathan Laurent, Guillaume Bachelier, Tomoki Yamagami, Ryoichi Horisaki, Makoto Naruse

CoRR, 2023

2022

Learning to Find Proofs and Theorems by Learning to Refine Search Strategies.

Jonathan Laurent, André Platzer

CoRR, 2022

Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis.

Jonathan Laurent, André Platzer

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

2018

Counterfactual Resimulation for Causal Analysis of Rule-Based Models.

Jonathan Laurent, Jean Yang, Walter Fontana

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

A Trace Query Language for Rule-Based Models.

Jonathan Laurent, Héctor F. Medina-Abarca, Pierre Boutillier, Jean Yang, Walter Fontana

Proceedings of the Computational Methods in Systems Biology, 2018

2015

Assuring the Guardians.

Jonathan Laurent, Alwyn Goodloe, Lee Pike

Proceedings of the Runtime Verification - 6th International Conference, 2015