{"total":18,"rows":[{"id":"2210.08773","title":"Plug-and-Play VQA: Zero-shot VQA by Conjoining Large Pretrained Models with Zero Training","created":"2022-10-17","cited_by_count":88,"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":"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":"2305.03695","title":"Vera: A General-Purpose Plausibility Estimation Model for Commonsense Statements","created":"2023-05-05","cited_by_count":44,"area":null},{"id":"2210.03078","title":"Rainier: Reinforced Knowledge Introspector for Commonsense Question Answering","created":"2022-10-06","cited_by_count":43,"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":"2405.01379","title":"Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving","created":"2024-05-02","cited_by_count":35,"area":null},{"id":"2401.08574","title":"Deductive Closure Training of Language Models for Coherence, Accuracy, and Updatability","created":"2024-01-16","cited_by_count":22,"area":null},{"id":"2210.02498","title":"Honest Students from Untrusted Teachers: Learning an Interpretable Question-Answering Pipeline from a Pretrained Language Model","created":"2022-10-05","cited_by_count":20,"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":"2211.00614","title":"Natural Language Deduction with Incomplete Information","created":"2022-11-01","cited_by_count":12,"area":null},{"id":"2402.14798","title":"Enhancing Systematic Decompositional Natural Language Inference Using Informal Logic","created":"2024-02-22","cited_by_count":12,"area":null},{"id":"2402.10979","title":"SportsMetrics: Blending Text and Numerical Data to Understand Information Fusion in LLMs","created":"2024-02-15","cited_by_count":8,"area":null},{"id":"2211.07950","title":"Breakpoint Transformers for Modeling and Tracking Intermediate Beliefs","created":"2022-11-15","cited_by_count":6,"area":null},{"id":"2211.11924","title":"Best-$k$ Search Algorithm for Neural Text Generation","created":"2022-11-22","cited_by_count":6,"area":null},{"id":"2311.00694","title":"Unleashing the Creative Mind: Language Model As Hierarchical Policy For Improved Exploration on Challenging Problem Solving","created":"2023-11-01","cited_by_count":4,"area":null},{"id":"2307.02472","title":"Deductive Additivity for Planning of Natural Language Proofs","created":"2023-07-05","cited_by_count":3,"area":null}],"next_cursor":null}