ScienceToStartup

Trends Topics Saved Articles Changelog Careers About

113 Cherry St #92768

Seattle, WA 98104-2205

Backed by Research Labs

All systems operational

Product

Dashboard
Build Loop
Research Map
Trends
Topics
Articles

Enterprise

TTO Dashboard
Scout Reports
RFP Marketplace
API

Resources

All Resources
Benchmark
Database
Dataset
Calculator
Glossary
State Reports
Industry Index
Directory
Templates
Alternatives
Changelog
FAQ
Docs

Company

About
Careers
For Media
Privacy Policy
Legal
Contact

Community

Open Source
Community

Copyright © 2026 ScienceToStartup. All rights reserved.

Privacy Policy|Legal

State of Automated Theorem Proving | Report | ScienceToStartup

Home
Resources
State Reports
Automated Theorem Proving

State of Automated Theorem Proving

3 papers · avg viability 5.3

View topic page

Top papers

Mechanic: Sorrifier-Driven Formal Decomposition Workflow for Automated Theorem Proving(7.0)
TaoBench: Do Automated Theorem Prover LLMs Generalize Beyond MathLib?(6.0)
RocqSmith: Can Automatic Optimization Forge Better Proof Agents?(3.0)