Lyra: Orchestrating Dual Correction in Automated Theorem Proving

ICLR 2024（2024）

引用 3|浏览59

关键词

Theorem proving,large language model,neuro-symbolic method,automated theorem provers,miniF2F

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要