Haoze Wu
Scholar

Haoze Wu

Google Scholar ID: 1RElnvEAAAAJ
Assistant Professor, Amherst College
Automated ReasoningFormal MethodsSatisfiabilityArtificial Intelligence
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,619
 
H-index
17
 
i10-index
20
 
Publications
20
 
Co-authors
0
 
Contact
Emailhaozewu22@gmail.comGitHubOpen ↗
Publications
5 items
The Luna Bound Propagator for Formal Analysis of Neural Networks
2026
Cited
0
Not All Invariants Are Equal: Curating Training Data to Accelerate Program Verification with SLMs
2026
Cited
0
Incremental Neural Network Verification via Learned Conflicts
2026
Cited
0
SpotIt+: Verification-based Text-to-SQL Evaluation with Database Constraints
2026
Cited
0
Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates
2026
Cited
0
Resume (English only)
Academic Achievements
  • Marabou 2.0: A Versatile Formal Analyzer of Neural Networks (CAV’24)
  • Integrating Large Language Models in Automated Program Verification (ICLR’24)
  • Lightweight Online Learning for Sets of Related Problems in Automated Reasoning (FMCAD’23)
  • Efficient Neural Network Analysis with Sum-of-Infeasibilities (TACAS’22)
  • Learning to Generate SAT Formulas (NeurIPS’19)
Co-authors
0 total
Co-authors: 0 (list not available)