{"total":141,"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":"2307.01379","title":"Shifting Attention to Relevance: Towards the Predictive Uncertainty Quantification of Free-Form Large Language Models","created":"2023-07-03","cited_by_count":150,"area":null},{"id":"2403.01632","title":"SynCode: LLM Generation with Grammar Augmentation","created":"2024-03-03","cited_by_count":69,"area":null},{"id":"2305.19234","title":"Grammar Prompting for Domain-Specific Language Generation with Large Language Models","created":"2023-05-30","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":"2402.12563","title":"Confidence Matters: Revisiting Intrinsic Self-Correction Capabilities of Large Language Models","created":"2024-02-19","cited_by_count":47,"area":null},{"id":"2310.10632","title":"BioPlanner: Automatic Evaluation of LLMs on Protocol Planning in Biology","created":"2023-10-16","cited_by_count":43,"area":null},{"id":"2401.02500","title":"On the Prospects of Incorporating Large Language Models (LLMs) in Automated Planning and Scheduling (APS)","created":"2024-01-04","cited_by_count":40,"area":null},{"id":"2311.09278","title":"Symbol-LLM: Towards Foundational Symbol-centric Interface For Large Language Models","created":"2023-11-15","cited_by_count":39,"area":null},{"id":"2503.18971","title":"LLMs as Planning Formalizers: A Survey for Leveraging Large Language Models to Construct Automated Planning Models","created":"2025-03-22","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":"2407.14414","title":"System-1.x: Learning to Balance Fast and Slow Planning with Language Models","created":"2024-07-19","cited_by_count":35,"area":null},{"id":"2410.12112","title":"Planning Anything with Rigor: General-Purpose Zero-Shot Planning with LLM-based Formalized Programming","created":"2024-10-15","cited_by_count":35,"area":null},{"id":"2503.04104","title":"LLMs Can Generate a Better Answer by Aggregating Their Own Responses","created":"2025-03-06","cited_by_count":27,"area":null},{"id":"2503.21411","title":"Exploring the Roles of Large Language Models in Reshaping Transportation Systems: A Survey, Framework, and Roadmap","created":"2025-03-27","cited_by_count":26,"area":null},{"id":"2406.19228","title":"Tools Fail: Detecting Silent Errors in Faulty Tools","created":"2024-06-27","cited_by_count":25,"area":null},{"id":"2501.01767","title":"LogicAD: Explainable Anomaly Detection via VLM-based Text Feature Extraction","created":"2025-01-03","cited_by_count":25,"area":null},{"id":"2505.00026","title":"Theory of Mind in Large Language Models: Assessment and Enhancement","created":"2025-04-26","cited_by_count":25,"area":null},{"id":"2410.04194","title":"Consistent Autoformalization for Constructing Mathematical Libraries","created":"2024-10-05","cited_by_count":21,"area":null},{"id":"2406.04331","title":"PaCE: Parsimonious Concept Engineering for Large Language Models","created":"2024-06-06","cited_by_count":19,"area":null},{"id":"2309.01660","title":"Unveiling Theory of Mind in Large Language Models: A Parallel to Single Neurons in the Human Brain","created":"2023-09-04","cited_by_count":18,"area":null},{"id":"2412.09879","title":"On the Limit of Language Models as Planning Formalizers","created":"2024-12-13","cited_by_count":18,"area":null},{"id":"2310.09158","title":"Improving Large Language Models in Event Relation Logical Prediction","created":"2023-10-13","cited_by_count":17,"area":null},{"id":"2409.19667","title":"Can Large Language Models Analyze Graphs like Professionals? A Benchmark, Datasets and Models","created":"2024-09-29","cited_by_count":17,"area":null},{"id":"2408.03247","title":"Unveiling Factual Recall Behaviors of Large Language Models through Knowledge Neurons","created":"2024-08-06","cited_by_count":16,"area":null},{"id":"2505.23061","title":"DINGO: Constrained Inference for Diffusion LLMs","created":"2025-05-29","cited_by_count":16,"area":null},{"id":"2405.15279","title":"Towards Global Optimal Visual In-Context Learning Prompt Selection","created":"2024-05-24","cited_by_count":15,"area":null},{"id":"2503.00870","title":"NeSyC: A Neuro-symbolic Continual Learner For Complex Embodied Tasks In Open Domains","created":"2025-03-02","cited_by_count":15,"area":null},{"id":"2406.01238","title":"EffiQA: Efficient Question-Answering with Strategic Multi-Model Collaboration on Knowledge Graphs","created":"2024-06-03","cited_by_count":14,"area":null},{"id":"2402.14833","title":"CliqueParcel: An Approach For Batching LLM Prompts That Jointly Optimizes Efficiency And Faithfulness","created":"2024-02-17","cited_by_count":12,"area":null},{"id":"2508.02721","title":"Blueprint First, Model Second: A Framework for Deterministic LLM Workflow","created":"2025-08-01","cited_by_count":12,"area":null},{"id":"2410.13111","title":"Controllable Generation via Locally Constrained Resampling","created":"2024-10-17","cited_by_count":11,"area":null},{"id":"2510.21302","title":"Towards Reliable Code-as-Policies: A Neuro-Symbolic Framework for Embodied Task Planning","created":"2025-10-24","cited_by_count":11,"area":null},{"id":"2410.23299","title":"FVEval: Understanding Language Model Capabilities in Formal Verification of Digital Hardware","created":"2024-10-15","cited_by_count":10,"area":null},{"id":"2411.04383","title":"Neuro-Symbolic AI: Explainability, Challenges, and Future Trends","created":"2024-11-07","cited_by_count":10,"area":null},{"id":"2510.05774","title":"ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming","created":"2025-10-07","cited_by_count":10,"area":null},{"id":"2406.01124","title":"Latent Logic Tree Extraction for Event Sequence Explanation from LLMs","created":"2024-06-03","cited_by_count":9,"area":null},{"id":"2502.15776","title":"Logic.py: Bridging the Gap between LLMs and Constraint Solvers","created":"2025-02-17","cited_by_count":9,"area":null},{"id":"2511.09008","title":"A Neurosymbolic Approach to Natural Language Formalization and Verification","created":"2025-11-12","cited_by_count":9,"area":null},{"id":"2505.24264","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","created":"2025-05-30","cited_by_count":8,"area":null},{"id":"2506.20353","title":"DipSVD: Dual-importance Protected SVD for Efficient LLM Compression","created":"2025-06-25","cited_by_count":8,"area":null},{"id":"2604.25031","title":"Faithful Autoformalization via Roundtrip Verification and Repair","created":"2026-04-27","cited_by_count":8,"area":null},{"id":"2311.08704","title":"Can Large Language Models Follow Concept Annotation Guidelines? A Case Study on Scientific and Financial Domains","created":"2023-11-15","cited_by_count":7,"area":null},{"id":"2509.09810","title":"Towards a Common Framework for Autoformalization","created":"2025-09-11","cited_by_count":7,"area":null},{"id":"2501.00759","title":"Enhancing Transformers for Generalizable First-Order Logical Entailment","created":"2025-01-01","cited_by_count":6,"area":null},{"id":"2510.15280","title":"Foundation Models for Scientific Discovery: From Paradigm Enhancement to Paradigm Transition","created":"2025-10-17","cited_by_count":6,"area":null},{"id":"2409.11589","title":"ProSLM : A Prolog Synergized Language Model for explainable Domain Specific Knowledge Based Question Answering","created":"2024-09-17","cited_by_count":5,"area":null},{"id":"2409.12300","title":"Autoformalization of Game Descriptions using Large Language Models","created":"2024-09-18","cited_by_count":5,"area":null},{"id":"2502.16757","title":"Entailment-Preserving First-order Logic Representations in Natural Language Entailment","created":"2025-02-24","cited_by_count":5,"area":null},{"id":"2503.06011","title":"Intent-Aware Self-Correction for Mitigating Social Biases in Large Language Models","created":"2025-03-08","cited_by_count":5,"area":null},{"id":"2503.08681","title":"Self-Taught Self-Correction for Small Language Models","created":"2025-03-11","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":"2602.13237","title":"NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models","created":"2026-01-29","cited_by_count":5,"area":null},{"id":"2308.13782","title":"Planning with Logical Graph-based Language Model for Instruction Generation","created":"2023-08-26","cited_by_count":4,"area":null},{"id":"2402.11251","title":"LLM can Achieve Self-Regulation via Hyperparameter Aware Generation","created":"2024-02-17","cited_by_count":4,"area":null},{"id":"2403.16097","title":"Can Language Models Pretend Solvers? Logic Code Simulation with LLMs","created":"2024-03-24","cited_by_count":4,"area":null},{"id":"2406.17532","title":"Can Large Language Models Understand DL-Lite Ontologies? An Empirical Study","created":"2024-06-25","cited_by_count":4,"area":null},{"id":"2412.16838","title":"Ask-Before-Detection: Identifying and Mitigating Conformity Bias in LLM-Powered Error Detector for Math Word Problem Solutions","created":"2024-12-22","cited_by_count":4,"area":null},{"id":"2503.04734","title":"What can large language models do for sustainable food?","created":"2025-02-02","cited_by_count":4,"area":null},{"id":"2505.24874","title":"The Road to Generalizable Neuro-Symbolic Learning Should be Paved with Foundation Models","created":"2025-05-30","cited_by_count":4,"area":null},{"id":"2512.17093","title":"A Solver-in-the-Loop Framework for Improving LLMs on Answer Set Programming for Logic Puzzle Solving","created":"2025-12-18","cited_by_count":4,"area":null},{"id":"2601.17789","title":"Neuro-Symbolic Verification on Instruction Following of LLMs","created":"2026-01-25","cited_by_count":4,"area":null},{"id":"2603.23550","title":"Implicit Turn-Wise Policy Optimization for Proactive User-LLM Interaction","created":"2026-03-21","cited_by_count":4,"area":null},{"id":"2401.14043","title":"Towards Goal-oriented Prompt Engineering for Large Language Models: A Survey","created":"2024-01-25","cited_by_count":3,"area":null},{"id":"2407.20513","title":"Prompt2DeModel: Declarative Neuro-Symbolic Modeling with Natural Language","created":"2024-07-30","cited_by_count":3,"area":null},{"id":"2410.09675","title":"COrAL: Order-Agnostic Language Modeling for Efficient Iterative Refinement","created":"2024-10-12","cited_by_count":3,"area":null},{"id":"2412.16725","title":"Enhancing Conflict Resolution in Language Models via Abstract Argumentation","created":"2024-12-21","cited_by_count":3,"area":null},{"id":"2505.14156","title":"Unify Graph Learning with Text: Unleashing LLM Potentials for Session Search","created":"2025-05-20","cited_by_count":3,"area":null},{"id":"2510.05486","title":"Language Model as Planner and Formalizer under Constraints","created":"2025-10-07","cited_by_count":3,"area":null},{"id":"2512.00319","title":"RL-Struct: A Lightweight Reinforcement Learning Framework for Reliable Structured Output in LLMs","created":"2025-11-29","cited_by_count":3,"area":null},{"id":"2601.04675","title":"LLM-Guided Quantified SMT Solving over Uninterpreted Functions","created":"2026-01-08","cited_by_count":3,"area":null},{"id":"2408.08648","title":"Understanding Enthymemes in Argument Maps: Bridging Argument Mining and Logic-based Argumentation","created":"2024-08-16","cited_by_count":2,"area":null},{"id":"2502.13953","title":"Benchmarking graph construction by large language models for coherence-driven inference","created":"2025-02-19","cited_by_count":2,"area":null},{"id":"2509.07122","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","created":"2025-09-08","cited_by_count":2,"area":null},{"id":"2509.22338","title":"Advancing Natural Language Formalization to First Order Logic with Fine-tuned LLMs","created":"2025-09-26","cited_by_count":2,"area":null},{"id":"2509.25989","title":"Towards Reliable and Holistic Visual In-Context Learning Prompt Selection","created":"2025-09-30","cited_by_count":2,"area":null},{"id":"2511.11816","title":"Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy","created":"2025-11-14","cited_by_count":2,"area":null},{"id":"2512.02987","title":"Fine-Tuned Large Language Models for Logical Translation: Reducing Hallucinations with Lang2Logic","created":"2025-12-02","cited_by_count":2,"area":null},{"id":"2602.00190","title":"From Gameplay Traces to Game Mechanics: Causal Induction with Large Language Models","created":"2026-01-30","cited_by_count":2,"area":null},{"id":"2602.04892","title":"Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction","created":"2026-01-30","cited_by_count":2,"area":null},{"id":"2602.19844","title":"LLM-enabled Applications Require System-Level Threat Monitoring","created":"2026-02-23","cited_by_count":2,"area":null},{"id":"2604.10341","title":"VeriTrans: Fine-Tuned LLM-Assisted NL-to-PL Translation via a Deterministic Neuro-Symbolic Pipeline","created":"2026-04-11","cited_by_count":2,"area":null},{"id":"2605.11167","title":"The Bicameral Model: Bidirectional Hidden-State Coupling Between Parallel Language Models","created":"2026-05-11","cited_by_count":2,"area":null},{"id":"2605.12421","title":"Formalize, Don't Optimize: The Heuristic Trap in LLM-Generated Combinatorial Solvers","created":"2026-05-12","cited_by_count":2,"area":null},{"id":"2607.20474","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","created":"2026-05-24","cited_by_count":2,"area":null},{"id":"2404.06946","title":"A Survey on the Integration of Generative AI for Critical Thinking in Mobile Networks","created":"2024-04-10","cited_by_count":1,"area":null},{"id":"2404.19432","title":"Can Large Language Models put 2 and 2 together? Probing for Entailed Arithmetical Relationships","created":"2024-04-30","cited_by_count":1,"area":null},{"id":"2407.19055","title":"Effective Large Language Model Debugging with Best-first Tree Search","created":"2024-07-26","cited_by_count":1,"area":null},{"id":"2503.04848","title":"Three tiers of computation in transformers and in brain architectures","created":"2025-03-05","cited_by_count":1,"area":null},{"id":"2508.01815","title":"From Graph Retrieval to Schema Realization: Counterfactual Validation for Text-to-SPARQL over Heterogeneous Knowledge Graphs","created":"2025-08-03","cited_by_count":1,"area":null},{"id":"2509.02292","title":"LLMs and their Limited Theory of Mind: Evaluating Mental State Annotations in Situated Dialogue","created":"2025-09-02","cited_by_count":1,"area":null},{"id":"2509.07190","title":"Rule-Based Moral Principles for Explaining Uncertainty in Natural Language Generation","created":"2025-09-08","cited_by_count":1,"area":null},{"id":"2601.15599","title":"Autonomous Business System via Neuro-symbolic AI","created":"2026-01-22","cited_by_count":1,"area":null},{"id":"2604.08849","title":"SatIR: Scalable High-Recall Constraint-Satisfaction-Based Information Retrieval for Clinical Trials Matching","created":"2026-04-10","cited_by_count":1,"area":null},{"id":"2604.09075","title":"Hierarchical Alignment: Enforcing Hierarchical Instruction-Following in LLMs through Logical Consistency","created":"2026-04-10","cited_by_count":1,"area":null},{"id":"2604.17340","title":"Neuro-Symbolic Resolution of Recommendation Conflicts in Multimorbidity Clinical Guidelines","created":"2026-04-19","cited_by_count":1,"area":null},{"id":"2604.18328","title":"FregeLogic at SemEval 2026 Task 11: A Hybrid Neuro-Symbolic Architecture for Content-Robust Syllogistic Validity Prediction","created":"2026-04-20","cited_by_count":1,"area":null},{"id":"2604.21354","title":"Decoupled Travel Planning with Behavior Forest","created":"2026-04-23","cited_by_count":1,"area":null},{"id":"2605.09271","title":"Shaping Schema via Language Representation as the Next Frontier for LLM Intelligence Expanding","created":"2026-05-10","cited_by_count":1,"area":null},{"id":"2606.02837","title":"Fixing FOLIO and MALLS: Verified Annotations and an LLM-assisted Framework to Focus Human Relabeling","created":"2026-06-01","cited_by_count":1,"area":null}],"next_cursor":"100"}