3 papers - avg viability 5.3
A novel agent system that uses a sorry-driven formal decomposition strategy to efficiently solve complex mathematical reasoning problems in automated theorem proving.
TaoBench is a novel benchmark for evaluating automated theorem provers beyond standard libraries, enhancing their applicability in research mathematics.
Exploring the automation of optimization for AI agents in automated theorem proving.