Cite
Notes
Only stored in your browser.
Attribution
LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation
arXiv 2025
Executing Arithmetic: Fine-Tuning Large Language Models as Turing Machines
arXiv 2024
from 2 papers
Jingwei Xu
Junyu Lai
Yao Yang
Jiahe Xu
Jiakun Zhang
Jiarui Zhang
Shuo Xu
Taolue Chen
Yunpeng Huang
Zihang Wang