NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
BC-Prover: Backward Chaining Prover for Formal Theorem Proving
Yuhang He
|
Jihai Zhang
|
Jianzhu Bao
|
Fangquan Lin
|
Cheng Yang
|
Bing Qin
|
Ruifeng Xu
|
Wotao Yin
|
Paper Details:
Month: November
Year: 2024
Location: Miami, Florida, USA
Venue:
EMNLP |
Citations
URL
No Citations Yet
https://leanprover.github.io/theorem_
Field Of Study