Haoze Wu
12 papers · 2019–2026 · 6 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π£ Hot Topic Early Bird π Conference Polyglot Β· Silver π Academic Marathon Β· Sprint π Interdisciplinary Bridge Β· Bronze πΊοΈ Taxonomy Completionist (24)
π
Century Club Β· Bronze
π
Renaissance Researcher
(5)
ποΈ
Keyword Collector
(55)
Top co-authors
Research topics
Machine Learning
(8)
Artificial Intelligence
(6)
Core AI
(6)
Deep Learning
(5)
Optimization & Theory
(4)
Techniques
(3)
Computer Science
(2)
Computer Vision
(2)
Natural Language Processing
(2)
Analysis
(2)
Core Methods
(2)
Resources & Methods
(2)
Mathematics & Optimization
(1)
Application Areas
(1)
Applications
(1)
Keywords
formal verification
(3)
neural network verification
(3)
robustness verification
(2)
automated reasoning
(2)
bound propagation
(2)
video recognition
(1)
theorem proving
(1)
online learning
(1)
deep learning
(1)
program verification
(1)
neural network optimization
(1)
uncertainty quantification
(1)
code generation
(1)
human action recognition
(1)
integer linear programming
(1)
binary search
(1)
static analysis
(1)
divide and conquer
(1)
satisfiability problem
(1)
constraint solving
(1)
Papers
Cubing for Tuning
AAAI 2026
Efficiently Computing Compact Formal Explanations
AAAI 2026
Parameterized Abstract Interpretation for Transformer Verification
AAAI 2026
ReCode: Updating Code API Knowledge with Reinforcement Learning
AAAI 2026
Efficient Exposure of Partial Failure Bugs in Distributed Systems with Inferred Abstract States
NSDI 2024
Lemur: Integrating Large Language Models in Automated Program Verification
ICLR 2024
Towards Efficient Verification of Quantized Neural Networks
AAAI 2024
Convex Bounds on the Softmax Function with Applications to Robustness Verification
AISTATS 2023
VeriX: Towards Verified Explainability of Deep Neural Networks
NeurIPS 2023
Multi-Scale Spatial-Temporal Integration Convolutional Tube for Human Action Recognition
IJCAI 2020
G2SAT: Learning to Generate SAT Formulas
NeurIPS 2019
Mutually Reinforced Spatio-Temporal Convolutional Tube for Human Action Recognition
IJCAI 2019