Kesseli, Pascal

2 publications

NeurIPS 2025 Logic.py: Bridging the Gap Between LLMs and Constraint Solvers Pascal Kesseli, Peter O'Hearn, Ricardo Silveira Cabral

JAIR 2020 Learning the Language of Software Errors Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman