Hanzheng Wang — accepted AI-conference papers

2026

Editable Proof Sketch for Automated Theorem Proving

Zikai Xiao, Hanzheng Wang, Meng-Hao Guo, Shi-min Hu, Shing-Tung Yau

ICML 2026poster

As large language models (LLMs) improve in mathematical reasoning and formal understanding, a promising approach for automated theorem proving (ATP) is to enable LLMs construct proof sketches, which plan a high-level proof strategy and decompose complex theorems into independently provable subgoals.…

Cited by 0 Source ↗Scholar ↗

2025

ELMoD-Net: Exploring Pattern Similarities for Robust Event-Based Lane Detection

Haihao Zhang, Yunjian Zhang, Jianing Li, Geng Qin, Hanzheng Wang, Meng Lv +1

RA-L 2025

Lane detection plays a critical role in autonomous driving, requiring low-latency response and robustness to varying lighting conditions to support downstream algorithms effectively. Event cameras, with their low latency and high dynamic range, are well-suited for such tasks. However, current event-

Cited by 0 Source ↗Scholar ↗