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:
Trans. Mach. Learn. Res. (2024)
Keyphrases
</>
automated theorem proving
theorem prover
theorem proving
answer set programming
classical logic
artificial intelligence
error correction
primal dual
real time
neural network
data mining
relational databases
conditional independence