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