Jonathan Laurent

Publications

Conference Papers

Learning to Find Proofs and Theorems by Learning to Refine Search Strategies:
The Case of Loop Invariant Synthesis
Jonathan Laurent, André Platzer Abstract Paper Code Poster
NeurIPS 2022
A Trace Query Language for Kappa
Jonathan Laurent, Hector Medina Abarca, Pierre Boutillier, Jean Yang, Walter Fontana Abstract Paper
CMSB 2018
Counterfactual Resimulation for Causal Analysis of Rule-Based Models
Jonathan Laurent, Jean Yang, Walter Fontana Abstract Paper
IJCAI 2018
Assuring The Guardians
Jonathan Laurent, Alwyn Goodloe, Lee Pike Abstract Paper
RV 2015

Workshop Papers

Designing a Theorem Prover for Reinforcement Learning and Neural Guidance
Jonathan Laurent and André Platzer, Talk Proposal Abstract Paper
AITP 2021
Causal Analysis of Rule-Based Models by Counterfactual Reasoning
Jonathan Laurent, Jean Yang, Walter Fontana Abstract Paper
SASB 2017

Theses and Reports

Learning to Discover Proofs and Theorems Without Supervision
Jonathan Laurent, Thesis Proposal Abstract Paper
2022
Suggesting Relevant Lemmas by Learning From Succesful Proofs
Jonathan Laurent, Internship Report Paper Code
2016
Causal Analysis of Rule-Based Models of Signaling Pathways
Jonathan Laurent, Master Thesis Abstract Paper
2015