📝 [Paper List] Automated Theorem Proving - a WNJXYK Collection

WNJXYK 's Collections

📝 [Paper List] Automated Theorem Proving

📝 [Paper List] Test-Time Learning for LLMs

[NeurIPS 2025] RPC Resources

LawGPT

📝 [Paper List] Automated Theorem Proving

updated Oct 31, 2025

Make Theorem Proving Great Again!

FormalML: A Benchmark for Evaluating Formal Subgoal Completion in Machine Learning Theory

Paper • 2510.02335 • Published Sep 26, 2025 • 2