Haoze Wu

Identifiers

No identifiers captured yet.

Papers (5)

1. Viverra: Text-to-Code with Guarantees cs.SE · 2026 · author #1
2. The Luna Bound Propagator for Formal Analysis of Neural Networks cs.LG · 2026 · author #2
3. SpotIt+: Verification-based Text-to-SQL Evaluation with Database Constraints cs.DB · 2026 · author #6
4. Two Error Bounds of Imperfect Binary Search cs.DS · 2017 · author #1
5. Improve SAT-solving with Machine Learning cs.AI · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Nina Narodytska 2 shared papers
• Rocky Klopfenstein 2 shared papers
• Andrew Tremante 1 shared papers
• Henry LeCates 1 shared papers
• Keith Farkas 1 shared papers
• Yang He 1 shared papers
• Yuepeng Wang 1 shared papers