DMRG 1knowledge externalization 1large language models 1Pfaffian MPS 1quantum many-body programming 1
From the 1 of 4 linked papers with an AI index.
Showing cs.CLShow all
3 papers · 1 filter
cs.CL2025
KELPS: A Framework for Verified Multi-Language Autoformalization via Semantic-Syntactic Alignment
Jiyao Zhang, Chengli Zhong, Hui Xu +2
Modern large language models (LLMs) show promising progress in formalizing informal mathematics into machine-verifiable theorems. However, these methods still face bottlenecks due…
cs.CL2024
Brain-Inspired Two-Stage Approach: Enhancing Mathematical Reasoning by Imitating Human Thought Processes
Yezeng Chen, Zui Chen, Yi Zhou
Although large language models demonstrate emergent abilities in solving math word problems, there is a challenging task in complex multi-step mathematical reasoning tasks. To impr…
cs.CL2024
An Empirical Study of Data Ability Boundary in LLMs' Math Reasoning
Zui Chen, Yezeng Chen, Jiaqi Han +3
Large language models (LLMs) are displaying emergent abilities for math reasoning tasks,and there is a growing attention on enhancing the ability of open-source LLMs through superv…