{"total":13,"rows":[{"id":"2205.12910","title":"NaturalProver: Grounded Mathematical Proof Generation with Language Models","created":"2022-05-25","cited_by_count":72,"area":null},{"id":"2205.12443","title":"Generating Natural Language Proofs with Verifier-Guided Search","created":"2022-05-25","cited_by_count":52,"area":null},{"id":"2210.12217","title":"Entailer: Answering Questions with Faithful and Truthful Chains of Reasoning","created":"2022-10-21","cited_by_count":38,"area":null},{"id":"2206.02608","title":"What do tokens know about their characters and how do they know it?","created":"2022-06-06","cited_by_count":36,"area":null},{"id":"2201.06028","title":"Natural Language Deduction through Search over Statement Compositions","created":"2022-01-16","cited_by_count":35,"area":null},{"id":"2211.00614","title":"Natural Language Deduction with Incomplete Information","created":"2022-11-01","cited_by_count":12,"area":null},{"id":"2111.12038","title":"Learning Symbolic Rules for Reasoning in Quasi-Natural Language","created":"2021-11-23","cited_by_count":9,"area":null},{"id":"2402.06287","title":"AI, Meet Human: Learning Paradigms for Hybrid Decision Making Systems","created":"2024-02-09","cited_by_count":7,"area":null},{"id":"2210.06230","title":"Quasi-symbolic Semantic Geometry over Transformer-based Variational AutoEncoder","created":"2022-10-12","cited_by_count":5,"area":null},{"id":"2212.05093","title":"Plug-and-Play Recipe Generation with Content Planning","created":"2022-12-09","cited_by_count":5,"area":null},{"id":"2212.03747","title":"Harnessing Knowledge and Reasoning for Human-Like Natural Language Generation: A Brief Review","created":"2022-12-07","cited_by_count":3,"area":null},{"id":"2307.02472","title":"Deductive Additivity for Planning of Natural Language Proofs","created":"2023-07-05","cited_by_count":3,"area":null},{"id":"2403.06410","title":"A Logical Pattern Memory Pre-trained Model for Entailment Tree Generation","created":"2024-03-11","cited_by_count":3,"area":null}],"next_cursor":null}