logo
today local_bar
formal problem-solving

1 paper across 1 session

Poster Session 1

1 paper
Wednesday, December 3, 2025 · 11:00 AM → 2:00 PM
Exhibit Hall C,D,E
Bootstrapping Hierarchical Autoregressive Formal Reasoner with Chain-of-Proxy-Autoformalization
#104 · Qi Liu, Xinhao Zheng, Renqiu Xia, Qinxiang Cao, Junchi Yan

For deductive formal problem-solving (D-FPS), we propose a method and a data generation pipeline.