Publications

Also on Google Scholar.

2025

Lemmanaid: Neuro-Symbolic Lemma Conjecturing
Yousef Alhessi, Sólrún Halla Einarsdóttir, George Granberry, Emily First, Moa Johansson, Sorin Lerner, Nicholas Smallbone
Preprint, arXiv:2504.04942
arXiv

Automating Formal Verification in Interactive Theorem Provers
Yousef Alhessi
PhD thesis, University of California San Diego
PDF

2024

On Lemma Conjecturing using Neural, Symbolic and Neuro-symbolic Approaches
Sólrún Halla Einarsdóttir, Yousef Alhessi, Emily First, Moa Johansson
Conference on Artificial Intelligence and Theorem Proving (AITP)
PDF

2021

Course Experience Report: Full-Class Compiler Collaboration
Joe Gibbs Politz, Yousef Alhessi
SPLASH-E
PDF

Trust but Verify: SFI Safety for Native-Compiled Wasm
Evan Johnson, David Thien, Yousef Alhessi, Shravan Narayan, Fraser Brown, Sorin Lerner, Tyler McMullen, Stefan Savage, Deian Stefan
Network and Distributed System Security Symposium (NDSS)
PDF · Code

2020

Generating Correctness Proofs with Neural Networks
Alex Sanchez-Stern, Yousef Alhessi, Lawrence Saul, Sorin Lerner
Workshop on Machine Learning and Programming Languages (MAPL)
PDF · arXiv · Website