Haoze Wu
12 papers · 2019–2026 · 6 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
π£ Hot Topic Early Bird π§ Keyword Pioneer π Conference Polyglot (6) π Academic Marathon (5) πΊοΈ Taxonomy Completionist (24)
π
Interdisciplinary Bridge
π
Cross-Pollinator
(15)
π
Renaissance Researcher
(7)
π
Century Club
(12)
ποΈ
Keyword Collector
(52)
Conferences
AAAI (5)
IJCAI (2)
NIPS (2)
AISTATS (1)
ICLR (1)
NSDI (1)
Top co-authors
Keywords
neural network verification
(3)
robustness verification
(2)
bound propagation
(2)
formal verification
(2)
video recognition
(1)
constraint solving
(1)
online learning
(1)
neural network optimization
(1)
uncertainty quantification
(1)
automated reasoning
(1)
deep learning
(1)
human action recognition
(1)
binary search
(1)
integer linear programming
(1)
divide and conquer
(1)
static analysis
(1)
satisfiability problem
(1)
generative model
(1)
bipartite graph
(1)
code generation
(1)
Papers
ReCode: Updating Code API Knowledge with Reinforcement Learning
AAAI 2026
Efficiently Computing Compact Formal Explanations
AAAI 2026
Parameterized Abstract Interpretation for Transformer Verification
AAAI 2026
Cubing for Tuning
AAAI 2026
Lemur: Integrating Large Language Models in Automated Program Verification
ICLR 2024
Efficient Exposure of Partial Failure Bugs in Distributed Systems with Inferred Abstract States
NSDI 2024
Towards Efficient Verification of Quantized Neural Networks
AAAI 2024
VeriX: Towards Verified Explainability of Deep Neural Networks
NIPS 2023
Convex Bounds on the Softmax Function with Applications to Robustness Verification
AISTATS 2023
Multi-Scale Spatial-Temporal Integration Convolutional Tube for Human Action Recognition
IJCAI 2020
G2SAT: Learning to Generate SAT Formulas
NIPS 2019
Mutually Reinforced Spatio-Temporal Convolutional Tube for Human Action Recognition
IJCAI 2019