proof generation

Are LLMs Rigorous Logical Reasoners? Empowering Natural Language Proof Generation by Stepwise Decoding with Contrastive Learning IJCNLP 2025 Hierarchical Attention Generates Better Proofs ACL 2025 One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs ICML 2025 SymBa: Symbolic Backward Chaining for Structured Natural Language Reasoning NAACL 2025 Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving EMNLP 2025 Towards Robust Mathematical Reasoning EMNLP 2025 Knowledge Compilation for Incremental and Checkable Stochastic Boolean Satisfiability IJCAI 2024 Selene: Pioneering Automated Proof in Software Verification ACL 2024 TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts EMNLP 2024 Generating Natural Language Proofs with Verifier-Guided Search EMNLP 2022 Interpretable Proof Generation via Iterative Backward Reasoning NAACL 2022 Natural Language Deduction with Incomplete Information EMNLP 2022 NaturalProver: Grounded Mathematical Proof Generation with Language Models NeurIPS 2022 ProofInfer: Generating Proof via Iterative Hierarchical Inference EMNLP 2022 multiPRover: Generating Multiple Proofs for Improved Interpretability in Rule Reasoning NAACL 2021 Measuring Systematic Generalization in Neural Proof Generation with Transformers NeurIPS 2020 PRover: Proof Generation for Interpretable Reasoning over Rules EMNLP 2020