Login / Signup
Lyra: Orchestrating Dual Correction in Automated Theorem Proving.
Chuanyang Zheng
Haiming Wang
Enze Xie
Zhengying Liu
Jiankai Sun
Huajian Xin
Jianhao Shen
Zhenguo Li
Yu Li
Published in:
CoRR (2023)
Keyphrases
</>
automated theorem proving
theorem prover
theorem proving
answer set programming
classical logic
real time
error analysis
first order logic
artificial intelligence
natural language
expert systems
linear programming
incomplete information