10 citations · 26 across the 13 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.CL2025
Spark-Prover-X1: Formal Theorem Proving Through Diverse Data Training
Xinyuan Zhou, Yi Lei, Xiaoyu Zhou +7
Large Language Models (LLMs) have shown significant promise in automated theorem proving, yet progress is often constrained by the scarcity of diverse and high-quality formal langu…
cs.CL2025
TACOS: Open Tagging and Comparative Scoring for Instruction Fine-Tuning Data Selection
Xixiang He, Hao Yu, Qiyao Sun +4
Instruction Fine-Tuning (IFT) is crucial for aligning large language models (LLMs) with human preferences, and selecting a small yet representative subset from massive data signifi…