pith. sign in

Haoze Wu

Identifiers

  • name variant Haoze Wu 0.60 · backfill

Papers (35)

  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. Not All Invariants Are Equal: Curating Training Data to Accelerate Program Verification with SLMs cs.LG · 2026 · author #3
  4. SpotIt+: Verification-based Text-to-SQL Evaluation with Database Constraints cs.DB · 2026 · author #6
  5. Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems eess.SY · 2025 · author #2
  6. Mirage or Method? How Model-Task Alignment Induces Divergent RL Conclusions cs.LG · 2025 · author #1
  7. Abstraction-Based Proof Production in Formal Verification of Neural Networks cs.LO · 2025 · author #5
  8. Cubing for Tuning cs.LO · 2025 · author #1
  9. Neural Network Verification is a Programming Language Challenge cs.PL · 2025 · author #11
  10. The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results cs.LG · 2024 · author #4
  11. USM: Unbiased Survey Modeling for Limiting Negative User Experiences in Recommendation Systems cs.IR · 2024 · author #3
  12. Safe and Reliable Training of Learning-Based Aerospace Controllers cs.AI · 2024 · author #3
  13. GW-MoE: Resolving Uncertainty in MoE Router with Global Workspace Theory cs.LG · 2024 · author #1
  14. Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates cs.AI · 2024 · author #3
  15. Marabou 2.0: A Versatile Formal Analyzer of Neural Networks cs.AI · 2024 · author #1
  16. Towards Efficient Verification of Quantized Neural Networks cs.LG · 2023 · author #2
  17. Lemur: Integrating Large Language Models in Automated Program Verification cs.FL · 2023 · author #1
  18. Lightweight Online Learning for Sets of Related Problems in Automated Reasoning cs.AI · 2023 · author #1
  19. Soy: An Efficient MILP Solver for Piecewise-Affine Systems cs.RO · 2023 · author #1
  20. Convex Bounds on the Softmax Function with Applications to Robustness Verification cs.LG · 2023 · author #2
  21. VeriX: Towards Verified Explainability of Deep Neural Networks cs.LG · 2022 · author #2
  22. Proof-Stitch: Proof Combination for Divide and Conquer SAT Solvers cs.LO · 2022 · author #3
  23. On Optimizing Back-Substitution Methods for Neural Network Verification cs.LG · 2022 · author #2
  24. Toward Certified Robustness Against Real-World Distribution Shifts cs.LG · 2022 · author #1
  25. Efficient Neural Network Analysis with Sum-of-Infeasibilities cs.LG · 2022 · author #1
  26. Scalable Verification of GNN-based Job Schedulers cs.AI · 2022 · author #1
  27. DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers cs.LG · 2021 · author #2
  28. An SMT-Based Approach for Verifying Binarized Neural Networks cs.LG · 2020 · author #2
  29. Global Optimization of Objective Functions Represented by ReLU Networks cs.LG · 2020 · author #2
  30. Parallelization Techniques for Verifying Neural Networks cs.LO · 2020 · author #1
  31. G2SAT: Learning to Generate SAT Formulas cs.LG · 2019 · author #2
  32. An Introduction to the Discharging Method math.HO · 2017 · author #1
  33. Two Error Bounds of Imperfect Binary Search cs.DS · 2017 · author #1
  34. Improve SAT-solving with Machine Learning cs.AI · 2017 · author #1
  35. Gene Ontology (GO) Prediction using Machine Learning Methods cs.LG · 2017 · author #1

Mentions

  • 2509.10118 #2 · arxiv_oai · confidence 0.70 Haoze Wu
  • 2508.21188 #1 · arxiv_oai · confidence 0.70 Haoze Wu
  • 2506.09455 #5 · arxiv_oai · confidence 0.70 Haoze Wu
  • 2504.19039 #1 · arxiv_oai · confidence 0.70 Haoze Wu
  • 2412.10674 #3 · arxiv_oai · confidence 0.70 Haoze Wu
  • 2501.05867 #11 · arxiv_oai · confidence 0.70 Haoze Wu
  • 2412.19985 #4 · arxiv_oai · confidence 0.70 Haoze Wu
  • 2405.14058 #3 · arxiv_oai · confidence 0.70 Haoze Wu
  • 2407.07088 #3 · arxiv_oai · confidence 0.70 Haoze Wu
  • 2406.12375 #1 · arxiv_oai · confidence 0.70 Haoze Wu
  • 2401.14461 #1 · arxiv_oai · confidence 0.70 Haoze Wu
  • 2310.04870 #1 · arxiv_oai · confidence 0.70 Haoze Wu
  • 2312.12679 #2 · arxiv_oai · confidence 0.70 Haoze Wu
  • 2212.01051 #2 · arxiv_oai · confidence 0.70 Haoze Wu
  • 2305.11087 #1 · arxiv_oai · confidence 0.70 Haoze Wu
  • 2303.13697 #1 · arxiv_oai · confidence 0.70 Haoze Wu
  • 2206.03669 #1 · arxiv_oai · confidence 0.70 Haoze Wu
  • 2303.01713 #2 · arxiv_oai · confidence 0.70 Haoze Wu
  • 2203.03153 #1 · arxiv_oai · confidence 0.70 Haoze Wu
  • 2209.05201 #3 · arxiv_oai · confidence 0.70 Haoze Wu
  • 2208.07669 #2 · arxiv_oai · confidence 0.70 Haoze Wu
  • 2203.11201 #1 · arxiv_oai · confidence 0.70 Haoze Wu
  • 2010.03258 #2 · arxiv_oai · confidence 0.70 Haoze Wu
  • 2103.01629 #2 · arxiv_oai · confidence 0.70 Haoze Wu
  • 2011.02948 #2 · arxiv_oai · confidence 0.70 Haoze Wu
  • 2004.08440 #1 · arxiv_oai · confidence 0.70 Haoze Wu
  • 1711.03004 #1 · arxiv_oai · confidence 0.70 Haoze Wu
  • 1910.13445 #2 · arxiv_oai · confidence 0.70 Haoze Wu
  • 1711.00001 #1 · arxiv_oai · confidence 0.70 Haoze Wu
  • 1711.01334 #1 · arxiv_oai · confidence 0.70 Haoze Wu
  • 1710.11204 #1 · arxiv_oai · confidence 0.70 Haoze Wu
  • 2603.15510 #3 · arxiv_oai · confidence 0.70 Haoze Wu

Frequent Coauthors