Theorem Prover as a Judge for Synthetic Data Generation Paper • 2502.13137 • Published Feb 18, 2025 • 1
PiCSAR: Probabilistic Confidence Selection And Ranking Paper • 2508.21787 • Published Aug 29, 2025 • 4
TRA: Better Length Generalisation with Threshold Relative Attention Paper • 2503.23174 • Published Mar 29, 2025 • 4
CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning Paper • 2410.10336 • Published Oct 14, 2024 • 2