today local_bar

Zaiwen Wen

Full Professor, Peking University

2 papers at NeurIPS 2025

Homepage· OpenReview· Semantic Scholar· Google Scholar

Poster Session 1

Wednesday, December 3, 2025 · 11:00 AM → 2:00 PM

Exhibit Hall C,D,E

Accelerating Optimization via Differentiable Stopping Time

#714 Spotlight · Zhonglin Xie, Yiman Fong, Haoran Yuan, Zaiwen Wen

Poster Session 5

Friday, December 5, 2025 · 11:00 AM → 2:00 PM

Exhibit Hall C,D,E

Tree-Based Premise Selection for Lean4

#4104 · Zichen Wang, Anjie Dong, Zaiwen Wen

Structure-first, training-free premise selection for Lean4: CSE trees with WL screening and TED reranking that beat semantic baselines on Mathlib4.