Cite
Notes
Only stored in your browser.
Attribution
Mathesis: Towards Formal Theorem Proving from Natural Languages
arXiv 2025
Augmenting Math Word Problems via Iterative Question Composing
arXiv 2024
from 2 papers
Andrew Chi-Chih Yao
Austen Jeremy Sugiarto
Claudia Beth Ong
Dongcai Lu
Huan Cao
Jiacheng Sun
Jianyuan Zhong
Jing Xiong
Pengyi Zhai
Qiang Xu