3 papers
cs.AI2025
LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation
Junyu Lai, Jiakun Zhang, Shuo Xu +6
Recent advancements in large language models (LLMs) have sparked considerable interest in automated theorem proving and a prominent line of research integrates stepwise LLM-based p…
cs.RO2024
LASER: Script Execution by Autonomous Agents for On-demand Traffic Simulation
Hao Gao, Jingyue Wang, Wenyang Fang +4
Autonomous Driving Systems (ADS) require diverse and safety-critical traffic scenarios for effective training and testing, but the existing data generation methods struggle to prov…
cs.AI2024
Executing Arithmetic: Fine-Tuning Large Language Models as Turing Machines
Junyu Lai, Jiahe Xu, Yao Yang +3
Large Language Models (LLMs) have demonstrated remarkable capabilities across a wide range of natural language processing and reasoning tasks. However, their performance in the fou…