 Learning Deductive Reasoning from Synthetic Corpus based on Formal LogicInternational Conference on Machine Learning (ICML), 2023 |
 Generating Natural Language Proofs with Verifier-Guided SearchConference on Empirical Methods in Natural Language Processing (EMNLP), 2022 |
 Interpretable Proof Generation via Iterative Backward ReasoningNorth American Chapter of the Association for Computational Linguistics (NAACL), 2022 |