UltraX: Refining Pre-Training Data at Scale with Adaptive Programmatic Editing Paper • 2607.08646 • Published 8 days ago • 3
MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis Paper • 2606.13782 • Published Jun 11 • 2
MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis Paper • 2606.13782 • Published Jun 11 • 2