Haoze Wu

This page is a disambiguation page, it actually contains multiple papers from persons of the same or a similar name.

Known people with the same name:

Bibliography

2026
The Luna Bound Propagator for Formal Analysis of Neural Networks.
CoRR, March, 2026

Neural Cooperative Reach-While-Avoid Certificates for Interconnected Systems.
CoRR, January, 2026

Risk assessment of tunnel segment uplift during construction based on variable weight-cloud model.
Reliab. Eng. Syst. Saf., 2026

Engine-specific degradation prediction of aviation engines via transferable snippet augmentation: A trend-grouped fine-tuning perspective.
Adv. Eng. Informatics, 2026

CoFS: A Filesystem for Fast Container Startup.
Proceedings of the 24th USENIX Conference on File and Storage Technologies, 2026

ReCode: Updating Code API Knowledge with Reinforcement Learning.
Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025
The Tool Decathlon: Benchmarking Language Agents for Diverse, Realistic, and Long-Horizon Task Execution.
CoRR, October, 2025

InvBench: Can LLMs Accelerate Program Verification with Invariant Synthesis?
CoRR, September, 2025

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems.
CoRR, September, 2025

Mirage or Method? How Model-Task Alignment Induces Divergent RL Conclusions.
CoRR, August, 2025

ReCode: Updating Code API Knowledge with Reinforcement Learning.
CoRR, June, 2025

CUR-Estimator: Towards reliable missing data imputation for aero-engine degradation process.
Neurocomputing, 2025

Continual contrastive reinforcement learning: Towards stronger agent for environment-aware fault diagnosis of aero-engines through long-term optimization under highly imbalance scenarios.
Adv. Eng. Informatics, 2025

2024
Improved Unsupervised Stitching Algorithm for Multiple Environments SuperUDIS.
Sensors, August, 2024

GW-MoE: Resolving Uncertainty in MoE Router with Global Workspace Theory.
CoRR, 2024

Efficient Reproduction of Fault-Induced Failures in Distributed Systems with Feedback-Driven Fault Injection.
Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles, 2024

Efficient Exposure of Partial Failure Bugs in Distributed Systems with Inferred Abstract States.
Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, 2024

2017
Two Error Bounds of Imperfect Binary Search.
CoRR, 2017


  Loading...