conftrace_

Botao Li

3 papers · 2022–2026 · 3 conferences · across top CS/AI conferences

Achievements

Jump to papers ↓

🌍 Conference Polyglot (2) 🐝 Cross-Pollinator (7)

Conferences

ACL (1) ICLR (1) NIPS (1)

Top co-authors

Liu Ziyin (2) Lifeng Shang (1) Jiaxuan Xie (1) Chengwu Liu (1) Yan Xu (1) Masahito Ueda (1) Ye Yuan (1) Jianhao Shen (1) James B Simon (1) Xiangming Meng (1)

Keywords

weight decay (1) automated theorem proving (1) deep linear network (1) formal proof (1) neural network initialization (1) natural language reasoning (1) large language model (1) global minima (1)

Papers

Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4 ACL 2026 Exact Solutions of a Deep Linear Network NIPS 2022 SGD Can Converge to Local Maxima ICLR 2022