{"total":19,"rows":[{"id":"2406.01297","title":"When Can LLMs Actually Correct Their Own Mistakes? A Critical Survey of Self-Correction of LLMs","created":"2024-06-03","cited_by_count":240,"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":"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.12217","title":"Entailer: Answering Questions with Faithful and Truthful Chains of Reasoning","created":"2022-10-21","cited_by_count":38,"area":null},{"id":"2311.09114","title":"Ever: Mitigating Hallucination in Large Language Models through Real-Time Verification and Rectification","created":"2023-11-15","cited_by_count":38,"area":null},{"id":"2512.02304","title":"When Does Verification Pay Off? A Closer Look at LLMs as Solution Verifiers","created":"2025-12-02","cited_by_count":15,"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":"2212.10522","title":"Transformers Go for the LOLs: Generating (Humourous) Titles from Scientific Abstracts End-to-End","created":"2022-12-20","cited_by_count":6,"area":null},{"id":"2308.13507","title":"Large Language Models Should Ask Clarifying Questions to Increase Confidence in Generated Code","created":"2023-08-25","cited_by_count":5,"area":null},{"id":"2406.01882","title":"HoneyGPT: Breaking the Trilemma in Terminal Honeypots with Large Language Model","created":"2024-06-04","cited_by_count":5,"area":null},{"id":"2506.09433","title":"Mitigating Spurious Correlations in LLMs via Causality-Aware Post-Training","created":"2025-06-11","cited_by_count":5,"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},{"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},{"id":"2607.13292","title":"Theory-Level Autoformalization: From Isolated Statements to Unified Formal Knowledge Bases","created":"2026-07-14","cited_by_count":3,"area":null},{"id":"2502.19973","title":"Can Large Language Models Unveil the Mysteries? An Exploration of Their Ability to Unlock Information in Complex Scenarios","created":"2025-02-27","cited_by_count":1,"area":null},{"id":"2506.05623","title":"Deployability-Centric Infrastructure-as-Code Generation: Fail, Learn, Refine, and Succeed through LLM-Empowered DevOps Simulation","created":"2025-06-05","cited_by_count":1,"area":null},{"id":"2512.02389","title":"Synthetic Error Injection Fails to Elicit Self-Correction In Language Models","created":"2025-12-02","cited_by_count":0,"area":null}],"next_cursor":null}