{"total":31,"rows":[{"id":"2204.06031","title":"A Review on Language Models as Knowledge Bases","created":"2022-04-12","cited_by_count":157,"area":null},{"id":"2104.08661","title":"Explaining Answers with Entailment Trees","created":"2021-04-17","cited_by_count":152,"area":null},{"id":"2206.04301","title":"Unveiling Transformers with LEGO: a synthetic reasoning task","created":"2022-06-09","cited_by_count":106,"area":null},{"id":"2205.12910","title":"NaturalProver: Grounded Mathematical Proof Generation with Language Models","created":"2022-05-25","cited_by_count":72,"area":null},{"id":"2306.07303","title":"A Comprehensive Survey on Applications of Transformers for Deep Learning Tasks","created":"2023-06-11","cited_by_count":71,"area":null},{"id":"2104.07644","title":"ExplaGraphs: An Explanation Graph Generation Task for Structured Commonsense Reasoning","created":"2021-04-15","cited_by_count":58,"area":null},{"id":"2404.09939","title":"A Survey on Deep Learning for Theorem Proving","created":"2024-04-15","cited_by_count":57,"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":"2201.06028","title":"Natural Language Deduction through Search over Statement Compositions","created":"2022-01-16","cited_by_count":35,"area":null},{"id":"2104.08825","title":"Flexible Generation of Natural Language Deductions","created":"2021-04-18","cited_by_count":28,"area":null},{"id":"2112.09054","title":"Pushing the Limits of Rule Reasoning in Transformers through Natural Language Satisfiability","created":"2021-12-16","cited_by_count":18,"area":null},{"id":"2103.13033","title":"Thinking Aloud: Dynamic Context Generation Improves Zero-Shot Reasoning Performance of GPT-2","created":"2021-03-24","cited_by_count":15,"area":null},{"id":"2106.01354","title":"multiPRover: Generating Multiple Proofs for Improved Interpretability in Rule Reasoning","created":"2021-06-02","cited_by_count":15,"area":null},{"id":"2109.10604","title":"NOAHQA: Numerical Reasoning with Interpretable Graph Question Answering Dataset","created":"2021-09-22","cited_by_count":14,"area":null},{"id":"2209.10492","title":"Summarization Programs: Interpretable Abstractive Summarization with Neural Modular Trees","created":"2022-09-21","cited_by_count":14,"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":"2109.08460","title":"Neural Unification for Logic Reasoning over Natural Language","created":"2021-09-17","cited_by_count":8,"area":null},{"id":"2204.04813","title":"Explanation Graph Generation via Pre-trained Language Models: An Empirical Study with Contrastive Learning","created":"2022-04-11","cited_by_count":8,"area":null},{"id":"2105.02486","title":"Towards General Natural Language Understanding with Probabilistic Worldbuilding","created":"2021-05-06","cited_by_count":7,"area":null},{"id":"2105.03417","title":"Diff-Explainer: Differentiable Convex Optimization for Explainable Multi-hop Inference","created":"2021-05-07","cited_by_count":7,"area":null},{"id":"2110.01509","title":"DeepA2: A Modular Framework for Deep Argument Analysis with Pretrained Neural Text2Text Language Models","created":"2021-10-04","cited_by_count":7,"area":null},{"id":"2210.08763","title":"ReasonChainQA: Text-based Complex Question Answering with Explainable Evidence Chains","created":"2022-10-17","cited_by_count":4,"area":null},{"id":"2103.14973","title":"Explaining the Road Not Taken","created":"2021-03-27","cited_by_count":3,"area":null},{"id":"2107.02418","title":"Probabilistic Graph Reasoning for Natural Proof Generation","created":"2021-07-06","cited_by_count":3,"area":null},{"id":"2205.00047","title":"Logically Consistent Adversarial Attacks for Soft Theorem Provers","created":"2022-04-29","cited_by_count":2,"area":null},{"id":"2208.03339","title":"Going Beyond Approximation: Encoding Constraints for Explainable Multi-hop Inference via Differentiable Combinatorial Solvers","created":"2022-08-05","cited_by_count":1,"area":null},{"id":"2309.07624","title":"Dynamic MOdularized Reasoning for Compositional Structured Explanation Generation","created":"2023-09-14","cited_by_count":1,"area":null},{"id":"2404.02625","title":"A Differentiable Integer Linear Programming Solver for Explanation-Based Natural Language Inference","created":"2024-04-03","cited_by_count":1,"area":null},{"id":"2412.14684","title":"Bel Esprit: Multi-Agent Framework for Building AI Model Pipelines","created":"2024-12-19","cited_by_count":1,"area":null},{"id":"2208.14641","title":"Generating Intermediate Steps for NLI with Next-Step Supervision","created":"2022-08-31","cited_by_count":0,"area":null},{"id":"2508.14488","title":"Reasoning is about giving reasons","created":"2025-08-20","cited_by_count":0,"area":null}],"next_cursor":null}