1 citations · 1 across the 10 of their papers we have counts for
5 papers · 1 filter
OProver: A Unified Framework for Agentic Formal Theorem Proving
David Ma, Kaijing Ma, Shawn Guo +7
Recent progress in formal theorem proving has benefited from large-scale proof generation and verifier-aware training, but agentic proving is rarely integrated into prover training…
Close the Loop: Synthesizing Infinite Tool-Use Data via Multi-Agent Role-Playing
Yuwen Li, Wei Zhang, Zelong Huang +8
Enabling Large Language Models (LLMs) to reliably invoke external tools remains a critical bottleneck for autonomous agents. Existing approaches suffer from three fundamental chall…
CodeSimpleQA: Scaling Factuality in Code Large Language Models
Jian Yang, Wei Zhang, Yizhi Li +8
Large language models (LLMs) have made significant strides in code generation, achieving impressive capabilities in synthesizing code snippets from natural language instructions. H…
Scaling Laws for Code: Every Programming Language Matters
Jian Yang, Shawn Guo, Lin Jing +8
Code large language models (Code LLMs) are powerful but costly to train, with scaling laws predicting performance from model size, data, and compute. However, different programming…
MAP-Neo: Highly Capable and Transparent Bilingual Large Language Model Series
Ge Zhang, Scott Qu, Jiaheng Liu +42
Large Language Models (LLMs) have made great strides in recent years to achieve unprecedented performance across different tasks. However, due to commercial interest, the most comp…