Laurent, Jonathan

2 publications

NeurIPS 2022 Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis Jonathan Laurent, André Platzer

IJCAI 2018 Counterfactual Resimulation for Causal Analysis of Rule-Based Models Jonathan Laurent, Jean Yang, Walter Fontana