Olivier Bouissou
Scholar

Olivier Bouissou

Google Scholar ID: Rgkh2NIAAAAJ
MathWorks
computer science
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
578
 
H-index
12
 
i10-index
15
 
Publications
20
 
Co-authors
4
list available
Contact
No contact links provided.
Publications
3 items
DafnyPro: LLM-Assisted Automated Verification for Dafny Programs
arXiv.org · 2026
Cited
0
MiniF2F-Dafny: LLM-Guided Mathematical Theorem Proving via Auto-Active Verification
2025
Cited
0
ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis
2025
Cited
0
Resume (English only)
Co-authors
4 total
Alexandre Chapoutot
Alexandre Chapoutot
ENSTA Paris - U2IS
Co-author 2
Co-author 2
Samuel Mimram
Samuel Mimram
LIX, CNRS, École polytechnique, Institut Polytechnique de Paris
Co-author 4
Co-author 4