3 citations · 10 across the 16 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.CL2026
Pretraining with Token-Level Adaptive Latent Chain-of-Thought
Boyi Zeng, Yiqin Hao, He Li +8
Scaling large language models by increasing parameters and training data is increasingly constrained by limited high-quality corpora and rising communication costs. This work explo…
cs.CL2026
ProofVerifier: A Scalable, Diversity-Driven Framework for Natural-Language Proof Verification
Haotong Yang, Zitong Wang, Shijia Kang +7
While large language models (LLMs) have achieved strong performance on mathematical problems with verifiable answers, many advanced problems are proof-based and require evaluating…