How to Loop MoE: Flatten the Experts, Untie the Attention Paper • 2609.35751 • Published 12 days ago • 13
Beyond Solver Verdicts: Generative Reward Models for Autoformalization Paper • 2609.11085 • Published 30 days ago • 35
StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean Paper • 2609.09264 • Published Sep 8 • 9
Forte : Finding Outliers with Representation Typicality Estimation Paper • 2410.01322 • Published Oct 2, 2024 • 2
VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning Paper • 2601.20055 • Published Jan 27 • 7
Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks Paper • 2505.20047 • Published May 26, 2025 • 3