Explore
AI Tools
New Tools
AI Agents
One9 Worker
LLMs
RAG & Vector DBs
Research
Assemble a stack
Founder Stacks
Compare
How We Rate
About
$
/
₹
⌘K
Sign up free
Login
Back to papers
March 25, 2026
cs.CL
Mechanic: Sorrifier-Driven Formal Decomposition Workflow for Automated Theorem Proving
Ruichen Qiu
,
Yichuan Cao
,
Junqi Liu
,
Dakai Guo
,
Xiao-Shan Gao
,
Lihong Zhi
,
Ruyong Feng
Original Abstract
Read on arXiv
Download PDF
Categories
cs.CL