---
title: "NL2Logic — paper by Putra et al. (2026) — summary and ideas"
description: "Converting natural-language premises into first-order logic (FOL) lets automated solvers check claims… 40 references, cited by 2 papers here."
authors: ["Rizky Ramadhana Putra", "Raihan Sultan Pasha Basuki", "Yutong Cheng", "Peng Gao"]
year: 2026
venue: "Findings of the Association for Computational Linguistics: EACL 2026"
source: "https://aclanthology.org/2026.findings-eacl.317/"
doi: "10.18653/v1/2026.findings-eacl.317"
licence: "CC BY 4.0 (ACL Anthology)"
licence_url: "https://creativecommons.org/licenses/by/4.0/"
summary_licence: "Elamur Cosmic License"
canonical: "https://research.elamur.ai/free/en/papers/putra-2026-nl2logic-ast-guided-translation-natural/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/putra-2026-nl2logic-ast-guided-translation-natural/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [2026](https://md.research.elamur.ai/free/en/papers/2026/page/6/) / NL2Logic: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models

# NL2Logic: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models

**Authors:** Rizky Ramadhana Putra, Raihan Sultan Pasha Basuki, Yutong Cheng and [Peng Gao](https://md.research.elamur.ai/free/en/authors/peng-gao/) · **Year:** 2026 · **Venue:** [Findings of the Association for Computational Linguistics: EACL 2026](https://md.research.elamur.ai/free/en/venues/findings/) ([Findings of the Association for Computational Linguistics 2026](https://md.research.elamur.ai/free/en/venues/findings/2026/)) · **Publisher:** [Association for Computational Linguistics](https://md.research.elamur.ai/free/en/publishers/association-for-computational-linguistics/) · **Licence:** [CC BY 4.0 (ACL Anthology)](https://creativecommons.org/licenses/by/4.0/)

**Links:** [Publisher's page](https://aclanthology.org/2026.findings-eacl.317/) · [PDF](https://aclanthology.org/2026.findings-eacl.317.pdf) · [DOI 10.18653/v1/2026.findings-eacl.317](https://doi.org/10.18653/v1/2026.findings-eacl.317) · [OpenAlex](https://openalex.org/W7140106942)

**Citations:** 1 citations (OpenAlex, 2026-10-14) · 2 in our library, of the 149,439 papers whose bibliographies we read

## Summary
Converting natural-language premises into first-order logic (FOL) lets automated solvers check claims transparently, which matters in fields like law and policy. Current LLM-based translators, such as GCD and CODE4LOGIC, still produce formulas that fail to execute or misrepresent the source meaning. One reason is that they map whole passages to logic in a single step.

NL2Logic splits the task in two. First, the SaT model segments the text into sentences. An LLM-driven parser then works recursively, clause by clause. It picks among specialised sub-parsers (atomic, quantified, logical) and emits schema-constrained JSON that builds a FOL abstract syntax tree (FOLAST). Next, a deterministic two-pass generator compiles this tree into solver code for Z3 or SMT-LIB. It first registers constants, variables and relation signatures, then assembles scoped expressions.

The authors tested open models from 0.5B to 27B parameters on FOLIO, LogicNLI and ProofWriter. The approach reaches about 99% syntactic validity and roughly 30% higher semantic accuracy than GCD. Because the intermediate layer does not depend on any particular engine, NL2Logic can serve as a drop-in module for neuro-symbolic pipelines.

## Key points
- **Results:** About 99% syntactic accuracy and an average semantic gain of roughly 30% over the strongest baseline (GCD), measured on FOLIO, LogicNLI and ProofWriter with the Z3 engine.
- **Logic-LM integration:** Swapping Logic-LM's few-shot FOL translation for NL2Logic raised executable rates from a range of 0.01–0.94 to 0.99 for every model. Downstream accuracy improved by about 31% on average.
- **Biggest gains on small models (ProofWriter):** gemma-2-2b rose from 0.01 to 0.58, llama-3.2-3b from 0.03 to 0.68, and qwen-2.5-7b from 0.08 to 0.90. Model counts differ within the paper: 12 in the main text, 13 in the Logic-LM tables.
- **Limitations:** Sentences are translated independently, so cross-sentence co-reference is not resolved. For example, "father" and "parent" become unrelated predicates. The method also requires structured JSON output support, such as vLLM or OpenAI; llama.cpp needs lm-format-enforcer.
- **Code:** Released at github.com/peng-gao-lab/nl2logic.

*Our summary of the paper, in our own words — not its text. The work belongs to its authors; read it at the links above.*

## Institutions

- [Virginia Tech](https://md.research.elamur.ai/free/en/universities/virginia-tech/) — University, Blacksburg, United States · 36 works · 43,036 citations

📚 Shelves (4): [🖥️ Computer Science](https://md.research.elamur.ai/free/en/shelves/computer-science/) · 16,667 works · [🤖 Artificial Intelligence](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) · 16,194 works · [🎭 Arts and Humanities](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/) · 16,039 works · [🗣️ Language and Linguistics](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/language-and-linguistics/) · 15,891 works

## Cite

Cite as: Rizky Ramadhana Putra, Raihan Sultan Pasha Basuki, Yutong Cheng and Peng Gao. 2026. NL2Logic: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models. Findings of the Association for Computational Linguistics: EACL 2026.

The paper itself, not this page. BibTeX from the library's record of the work.

```bibtex
@inproceedings{putra2026nl2logic,
  title = {{NL2Logic: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models}},
  author = {Rizky Ramadhana Putra, Raihan Sultan Pasha Basuki, Yutong Cheng and Peng Gao},
  booktitle = {Findings of the Association for Computational Linguistics: EACL 2026},
  year = {2026},
  doi = {10.18653/v1/2026.findings-eacl.317},
  url = {https://doi.org/10.18653/v1/2026.findings-eacl.317}
}
```

- [← previous NaviMaster: Learning a Unified Policy for GUI and Embodied Navigation Tasks](https://md.research.elamur.ai/free/en/papers/luo-2026-navimaster-learning-unified-policy-gui/)
- [next → No More Stale Feedback: Co-Evolving Critics for Open-World Agent Learning](https://md.research.elamur.ai/free/en/papers/li-2026-no-more-stale-feedback-co/)
- [↑ back to papers of 2026](https://md.research.elamur.ai/free/en/papers/2026/page/6/)

## References

40 references, 15 of them with a card of ours. ↗ leads to the work, «find» searches for one we have no id for yet.

1. Lasha Abzianidze. 2017. Langpro: Natural language theorem prover. arXiv preprint arXiv:1708.09417. [find](https://scholar.google.com/scholar?q=Lasha+Abzianidze%2E+2017%2E+Langpro%3A+Natural+language+theorem+prover%2E+arXiv+preprint+arXiv%3A1708%2E09417%2E)
2. V Aho Alfred, S Lam Monica, and D Ullman Jeffrey. 2007. Compilers principles, techniques & tools. pearson Education. [find](https://scholar.google.com/scholar?q=V+Aho+Alfred%2C+S+Lam+Monica%2C+and+D+Ullman+Jeffrey%2E+2007%2E+Compilers+principles%2C+techniques+%26+tools%2E+pearson+Education%2E)
3. Dave Barker-Plummer, Richard Cox, and Robert Dale. 2009. Dimensions of difficulty in translating natural language into first order logic. International Working Group on Educational Data Mining. [find](https://scholar.google.com/scholar?q=Dave+Barker%2DPlummer%2C+Richard+Cox%2C+and+Robert+Dale%2E+2009%2E+Dimensions+of+difficulty+in+translating+natural+language+into+first+order+logic%2E+International+Working+Group+on+Educational+Data+Mining%2E)
4. Clark Barrett, Aaron Stump, Cesare Tinelli, and 1 others. 2010. The smt-lib standard: Version 2.0. In Proceedings of the 8th international workshop on satisfiability modulo theories (Edinburgh, UK), volume 13, page 14. [find](https://scholar.google.com/scholar?q=Clark+Barrett%2C+Aaron+Stump%2C+Cesare+Tinelli%2C+and+1+others%2E+2010%2E+The+smt%2Dlib+standard%3A+Version+2%2E0%2E+In+Proceedings+of+the+8th+international+workshop+on+satisfiability+modulo+theories+%28Edinburgh%2C+UK%29%2C+v)
5. Stefan Behnel, Robert Bradshaw, Craig Citro, Lisandro Dalcin, Dag Sverre Seljebotn, and Kurt Smith. 2010. Cython: The best of both worlds. Computing in Science & Engineering, 13(2):31–39. [find](https://scholar.google.com/scholar?q=Stefan+Behnel%2C+Robert+Bradshaw%2C+Craig+Citro%2C+Lisandro+Dalcin%2C+Dag+Sverre+Seljebotn%2C+and+Kurt+Smith%2E+2010%2E+Cython%3A+The+best+of+both+worlds%2E+Computing+in+Science+%26+Engineering%2C+13%282%29%3A31%E2%80%9339%2E)
6. Johan Bos and Katja Markert. 2005. [Recognising textual entailment with logical inference](https://md.research.elamur.ai/free/en/papers/bos-2005-recognising-textual-entailment-logical-inference/). In Proceedings of Human Language Technology Conference and Conference on Empirical Methods in Natural Language Processing, pages 628–635.
7. Samuel R. Bowman, Christopher Potts, and Christopher D. Manning. 2015. Recursive neural networks can learn logical semantics. In Proceedings of the 3rd Workshop on Continuous Vector Space Models and their Compositionality, pages 12–21, Beijing, China. Association for Computational Linguistics. [find](https://scholar.google.com/scholar?q=Samuel+R%2E+Bowman%2C+Christopher+Potts%2C+and+Christopher+D%2E+Manning%2E+2015%2E+Recursive+neural+networks+can+learn+logical+semantics%2E+In+Proceedings+of+the+3rd+Workshop+on+Continuous+Vector+Space+Models+and+t)
8. Tom Brown, Benjamin Mann, Nick Ryder, Melanie Subbiah, Jared D Kaplan, Prafulla Dhariwal, Arvind Neelakantan, Pranav Shyam, Girish Sastry, Amanda Askell, Sandhini Agarwal, Ariel Herbert-Voss, Gretchen Krueger, Tom Henighan, Rewon Child, Aditya Ramesh, Daniel Ziegler, Jeffrey Wu, Clemens Winter, and… [find](https://scholar.google.com/scholar?q=Tom+Brown%2C+Benjamin+Mann%2C+Nick+Ryder%2C+Melanie+Subbiah%2C+Jared+D+Kaplan%2C+Prafulla+Dhariwal%2C+Arvind+Neelakantan%2C+Pranav+Shyam%2C+Girish+Sastry%2C+Amanda+Askell%2C+Sandhini+Agarwal%2C+Ariel+Herbert%2DVoss%2C+Gretchen)
9. Ruisheng Cao, Su Zhu, Chen Liu, Jieyu Li, and Kai Yu. 2019. Semantic parsing with dual learning. arXiv preprint arXiv:1907.05343. [find](https://scholar.google.com/scholar?q=Ruisheng+Cao%2C+Su+Zhu%2C+Chen+Liu%2C+Jieyu+Li%2C+and+Kai+Yu%2E+2019%2E+Semantic+parsing+with+dual+learning%2E+arXiv+preprint+arXiv%3A1907%2E05343%2E)
10. Antonia Creswell, Murray Shanahan, and Irina Higgins. 2022. Selection-inference: Exploiting large language models for interpretable logical reasoning. Preprint, arXiv:2205.09712. [find](https://scholar.google.com/scholar?q=Antonia+Creswell%2C+Murray+Shanahan%2C+and+Irina+Higgins%2E+2022%2E+Selection%2Dinference%3A+Exploiting+large+language+models+for+interpretable+logical+reasoning%2E+Preprint%2C+arXiv%3A2205%2E09712%2E)
11. Leonardo De Moura and Nikolaj Bjørner. 2008. Z3: an efficient smt solver. In Proceedings of the Theory and Practice of Software, 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS’08/ETAPS’08, page 337–340, Berlin, Heidelberg. Springer-Verlag. [find](https://scholar.google.com/scholar?q=Leonardo+De+Moura+and+Nikolaj+Bj%C3%B8rner%2E+2008%2E+Z3%3A+an+efficient+smt+solver%2E+In+Proceedings+of+the+Theory+and+Practice+of+Software%2C+14th+International+Conference+on+Tools+and+Algorithms+for+the+Construct)
12. Herbert B Enderton. 2001. A mathematical introduction to logic. Elsevier. [find](https://scholar.google.com/scholar?q=Herbert+B+Enderton%2E+2001%2E+A+mathematical+introduction+to+logic%2E+Elsevier%2E)
13. Richard Evans, David Saxton, David Amos, Pushmeet Kohli, and Edward Grefenstette. 2018. Can neural networks understand logical entailment? In International Conference on Learning Representations. [find](https://scholar.google.com/scholar?q=Richard+Evans%2C+David+Saxton%2C+David+Amos%2C+Pushmeet+Kohli%2C+and+Edward+Grefenstette%2E+2018%2E+Can+neural+networks+understand+logical+entailment%3F+In+International+Conference+on+Learning+Representations%2E)
14. Markus Frohmann, Igor Sterner, Ivan Vulić, Benjamin Minixhofer, and Markus Schedl. 2024. Segment any text: A universal approach for robust, efficient and adaptable sentence segmentation. In Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, pages 11908–11941, Mi… [find](https://scholar.google.com/scholar?q=Markus+Frohmann%2C+Igor+Sterner%2C+Ivan+Vulic%CC%81%2C+Benjamin+Minixhofer%2C+and+Markus+Schedl%2E+2024%2E+Segment+any+text%3A+A+universal+approach+for+robust%2C+efficient+and+adaptable+sentence+segmentation%2E+In+Proceedin)
15. Simeng Han, Hailey Schoelkopf, Yilun Zhao, Zhenting Qi, Martin Riddell, Wenfei Zhou, James Coady, David Peng, Yujie Qiao, Luke Benson, and 1 others. 2024. [Folio: Natural language reasoning with first-order logic](https://md.research.elamur.ai/free/en/papers/han-2022-folio-natural-language-reasoning-first/). In Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processi…
16. Takeshi Kojima, Shixiang Shane Gu, Machel Reid, Yutaka Matsuo, and Yusuke Iwasawa. 2022. [Large language models are zero-shot reasoners](https://md.research.elamur.ai/free/en/papers/kojima-2022-large-language-models-zero-shot/). Advances in neural information processing systems, 35:22199– 22213.
17. Woosuk Kwon, Zhuohan Li, Siyuan Zhuang, Ying Sheng, Lianmin Zheng, Cody Hao Yu, Joseph E. Gonzalez, Hao Zhang, and Ion Stoica. 2023. [Efficient memory management for large language model serving with pagedattention](https://md.research.elamur.ai/free/en/papers/kwon-2023-efficient-memory-management-large-language/). In Proceedings of the ACM SIGOPS 29th Symposium on Operating Systems Principles.
18. Junnan Liu. 2025. Few-shot natural language to first-order logic translation via code generation. In Proceedings of the 2025 Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers), pages 10939–10960, Alb… [find](https://scholar.google.com/scholar?q=Junnan+Liu%2E+2025%2E+Few%2Dshot+natural+language+to+first%2Dorder+logic+translation+via+code+generation%2E+In+Proceedings+of+the+2025+Conference+of+the+Nations+of+the+Americas+Chapter+of+the+Association+for+Co)
19. Xuantao Lu, Jingping Liu, Zhouhong Gu, Hanwen Tong, Chenhao Xie, Junyang Huang, Yanghua Xiao, and Wenguang Wang. 2022. Parsing natural language into propositional and first-order logic with dual reinforcement learning. In Proceedings of the 29th International Conference on Computational Linguistics,… [find](https://scholar.google.com/scholar?q=Xuantao+Lu%2C+Jingping+Liu%2C+Zhouhong+Gu%2C+Hanwen+Tong%2C+Chenhao+Xie%2C+Junyang+Huang%2C+Yanghua+Xiao%2C+and+Wenguang+Wang%2E+2022%2E+Parsing+natural+language+into+propositional+and+first%2Dorder+logic+with+dual+reinf)
20. Mitchell Philip Marcus. 1978. A theory of syntactic recognition for natural language. Ph.D. thesis, Massachusetts Institute of Technology. [find](https://scholar.google.com/scholar?q=Mitchell+Philip+Marcus%2E+1978%2E+A+theory+of+syntactic+recognition+for+natural+language%2E+Ph%2ED%2E+thesis%2C+Massachusetts+Institute+of+Technology%2E)
21. W. McCune. 2005–2010. Prover9 and mace4. [http://www.cs.unm.edu/~mccune/prover9/](http://www.cs.unm.edu/~mccune/prover9/). [↗](http://www.cs.unm.edu/~mccune/prover9/)
22. Benjamin Minixhofer, Jonas Pfeiffer, and Ivan Vulić. 2023. Where’s the point? self-supervised multilingual punctuation-agnostic sentence segmentation. In Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), pages 7215–7235, Toronto, Canada… [find](https://scholar.google.com/scholar?q=Benjamin+Minixhofer%2C+Jonas+Pfeiffer%2C+and+Ivan+Vulic%CC%81%2E+2023%2E+Where%E2%80%99s+the+point%3F+self%2Dsupervised+multilingual+punctuation%2Dagnostic+sentence+segmentation%2E+In+Proceedings+of+the+61st+Annual+Meeting+of+the)
23. Terufumi Morishita, Gaku Morio, Atsuki Yamaguchi, and Yasuhiro Sogawa. 2024. Enhancing reasoning capabilities of llms via principled synthetic logic corpus. Advances in Neural Information Processing Systems, 37:73572–73604. [find](https://scholar.google.com/scholar?q=Terufumi+Morishita%2C+Gaku+Morio%2C+Atsuki+Yamaguchi%2C+and+Yasuhiro+Sogawa%2E+2024%2E+Enhancing+reasoning+capabilities+of+llms+via+principled+synthetic+logic+corpus%2E+Advances+in+Neural+Information+Processing+S)
24. Nikita Kitaev, Steven Cao, and Dan Klein. 2019. [Multilingual constituency parsing with self-attention and pre-training](https://md.research.elamur.ai/free/en/papers/kitaev-2019-multilingual-constituency-parsing-self-attention/). In Proceedings of the 57th Annual Meeting of the Association for Computational Linguistics, pages 3499–3505, Florence, Italy. Association for Computational Linguistics.
25. Theo Olausson, Alex Gu, Ben Lipkin, Cedegao Zhang, Armando Solar-Lezama, Joshua Tenenbaum, and Roger Levy. 2023. [LINC: A neurosymbolic approach for logical reasoning by combining language models with first-order logic provers](https://md.research.elamur.ai/free/en/papers/olausson-2023-linc-neurosymbolic-approach-logical-reasoning/). In Proceedings of the 2023 Conference on Empirical Methods in Natural Lan…
26. Nikita Kitaev and Dan Klein. 2018. [Constituency parsing with a self-attentive encoder](https://md.research.elamur.ai/free/en/papers/kitaev-2018-constituency-parsing-self-attentive-encoder/). In Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), pages 2676–2686.
27. Liangming Pan, Alon Albalak, Xinyi Wang, and William Wang. 2023. [Logic-LM: Empowering large language models with symbolic solvers for faithful logical reasoning](https://md.research.elamur.ai/free/en/papers/pan-2023-logic-lm-empowering-large-language/). In Findings of the Association for Computational Linguistics: EMNLP 2023, pages 3806–3824, Singapore. Association for Computational Lingui…
28. Xin Quan, Marco Valentino, Louise A. Dennis, and Andre Freitas. 2024. [Verification and refinement of natural language explanations through LLM-symbolic theorem proving](https://md.research.elamur.ai/free/en/papers/quan-2024-verification-refinement-natural-language-explanations/). In Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, pages 2933–2958, Miami, Florida, USA. As…
29. Xin Quan, Marco Valentino, Louise A. Dennis, and Andre Freitas. 2025. Faithful and robust LLM-driven theorem proving for NLI explanations. In Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), pages 17734–17755, Vienna, Austria. Associati… [find](https://scholar.google.com/scholar?q=Xin+Quan%2C+Marco+Valentino%2C+Louise+A%2E+Dennis%2C+and+Andre+Freitas%2E+2025%2E+Faithful+and+robust+LLM%2Ddriven+theorem+proving+for+NLI+explanations%2E+In+Proceedings+of+the+63rd+Annual+Meeting+of+the+Association+)
30. Federico Raspanti, Tanir Ozcelebi, and Mike Holen-derski. 2025. Grammar-constrained decoding makes large language models better logical parsers. In Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 6: Industry Track), pages 485–499. [find](https://scholar.google.com/scholar?q=Federico+Raspanti%2C+Tanir+Ozcelebi%2C+and+Mike+Holen%2Dderski%2E+2025%2E+Grammar%2Dconstrained+decoding+makes+large+language+models+better+logical+parsers%2E+In+Proceedings+of+the+63rd+Annual+Meeting+of+the+Associ)
31. William A Woods. 1970. Transition network grammars for natural language analysis. Communications of the ACM, 13(10):591–606. [find](https://scholar.google.com/scholar?q=William+A+Woods%2E+1970%2E+Transition+network+grammars+for+natural+language+analysis%2E+Communications+of+the+ACM%2C+13%2810%29%3A591%E2%80%93606%2E)
32. Jundong Xu, Hao Fei, Liangming Pan, Qian Liu, Mong-Li Lee, and Wynne Hsu. 2024. [Faithful logical reasoning via symbolic chain-of-thought](https://md.research.elamur.ai/free/en/papers/xu-2024-faithful-logical-reasoning-symbolic-chain/). In Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), pages 13326–13365, Bangkok, Thailand. Associat…
33. Yuan Yang, Siheng Xiong, Ali Payani, Ehsan Shareghi, and Faramarz Fekri. 2024. Harnessing the power of large language models for natural language to first-order logic translation. In Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), page… [find](https://scholar.google.com/scholar?q=Yuan+Yang%2C+Siheng+Xiong%2C+Ali+Payani%2C+Ehsan+Shareghi%2C+and+Faramarz+Fekri%2E+2024%2E+Harnessing+the+power+of+large+language+models+for+natural+language+to+first%2Dorder+logic+translation%2E+In+Proceedings+of+th)
34. Luke S Zettlemoyer and Michael Collins. 2012. [Learning to map sentences to logical form: Structured classification with probabilistic categorial grammars](https://md.research.elamur.ai/free/en/papers/zettlemoyer-2012-learning-map-sentences-logical-form/). arXiv preprint arXiv:1207.1420.
35. Tim Rocktaschel, Edward Grefenstette, Karl Moritz Hermann, Tomas Kocisky, and Phil Blunsom. 2016. [Reasoning about entailment with neural attention](https://md.research.elamur.ai/free/en/papers/rocktaschel-2015-reasoning-about-entailment-neural-attention/). In International Conference on Learning Representations (ICLR).
36. Soumya Sanyal, Harman Singh, and Xiang Ren. 2022. FaiRR: Faithful and robust deductive reasoning over natural language. In Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), pages 1075–1093, Dublin, Ireland. Association for Computational… [find](https://scholar.google.com/scholar?q=Soumya+Sanyal%2C+Harman+Singh%2C+and+Xiang+Ren%2E+2022%2E+FaiRR%3A+Faithful+and+robust+deductive+reasoning+over+natural+language%2E+In+Proceedings+of+the+60th+Annual+Meeting+of+the+Association+for+Computational+L)
37. Oyvind Tafjord, Bhavana Dalvi, and Peter Clark. 2021. [ProofWriter: Generating implications, proofs, and abductive statements over natural language](https://md.research.elamur.ai/free/en/papers/tafjord-2021-proofwriter-generating-implications-proofs-abductive/). In Findings of the Association for Computational Linguistics: ACL-IJCNLP 2021, pages 3621–3634, Online. Association for Computational Linguistics.
38. Jidong Tian, Yitian Li, Wenqing Chen, Liqiang Xiao, Hao He, and Yaohui Jin. 2021. [Diagnosing the first-order logical reasoning ability through logicnli](https://md.research.elamur.ai/free/en/papers/tian-2021-diagnosing-first-order-logical-reasoning/). In Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing, pages 3738–3747.
39. Bailin Wang, Zi Wang, Xuezhi Wang, Yuan Cao, Rif A Saurous, and Yoon Kim. 2023. Grammar prompting for domain-specific language generation with large language models. Advances in Neural Information Processing Systems, 36:65030–65055. [find](https://scholar.google.com/scholar?q=Bailin+Wang%2C+Zi+Wang%2C+Xuezhi+Wang%2C+Yuan+Cao%2C+Rif+A+Saurous%2C+and+Yoon+Kim%2E+2023%2E+Grammar+prompting+for+domain%2Dspecific+language+generation+with+large+language+models%2E+Advances+in+Neural+Information+Pro)
40. Jason Wei, Xuezhi Wang, Dale Schuurmans, Maarten Bosma, Fei Xia, Ed Chi, Quoc V Le, Denny Zhou, and 1 others. 2022. [Chain-of-thought prompting elicits reasoning in large language models](https://md.research.elamur.ai/free/en/papers/wei-2022-chain-thought-prompting-elicits-reasoning/). Advances in neural information processing systems, 35:24824– 24837.

*Updated 31 October 2026*