PaperFormalizer: Author-in-the-Loop Autoformalization of Research Papers in Lean Paper • 2610.31810 • Published 23 days ago • 9
CausalSmith: A Formally Grounded, Self-Improving Agentic Framework for Automated Research in Causal Inference Paper • 2607.22511 • Published Sep 15 • 1
Prescriptive Scaling Reveals the Evolution of Language Model Capabilities Paper • 2602.15327 • Published Feb 17 • 3
