{"total":168,"rows":[{"id":"2401.03065","title":"CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution","created":"2024-01-05","cited_by_count":300,"area":null},{"id":"2405.18357","title":"Faithful Logical Reasoning via Symbolic Chain-of-Thought","created":"2024-05-28","cited_by_count":100,"area":"lr"},{"id":"2412.16075","title":"Formal Mathematical Reasoning: A New Frontier in AI","created":"2024-12-20","cited_by_count":81,"area":"lr"},{"id":"2403.01632","title":"SynCode: LLM Generation with Grammar Augmentation","created":"2024-03-03","cited_by_count":69,"area":null},{"id":"2410.03981","title":"A Survey on LLM-based Code Generation for Low-Resource and Domain-Specific Programming Languages","created":"2024-10-04","cited_by_count":66,"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":"2502.15652","title":"Empowering LLMs with Logical Reasoning: A Comprehensive Survey","created":"2025-02-21","cited_by_count":51,"area":"lr"},{"id":"2504.13139","title":"Syntactic and Semantic Control of Large Language Models via Sequential Monte Carlo","created":"2025-04-17","cited_by_count":46,"area":null},{"id":"2402.11291","title":"Puzzle Solving using Reasoning of Large Language Models: A Survey","created":"2024-02-17","cited_by_count":45,"area":"lr"},{"id":"2501.05435","title":"Neuro-Symbolic AI in 2024: A Systematic Review","created":"2025-01-09","cited_by_count":38,"area":null},{"id":"2406.06467","title":"How Far Can Transformers Reason? The Globality Barrier and Inductive Scratchpad","created":"2024-06-10","cited_by_count":36,"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":"2402.11442","title":"Can LLMs Reason with Rules? Logic Scaffolding for Stress-Testing and Improving LLMs","created":"2024-02-18","cited_by_count":28,"area":"lr"},{"id":"2410.08047","title":"Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning","created":"2024-10-10","cited_by_count":27,"area":"lr"},{"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":"2312.07622","title":"Mathematical Language Models: A Survey","created":"2023-12-12","cited_by_count":24,"area":null},{"id":"2409.17539","title":"Logic-of-Thought: Injecting Logic into Contexts for Full Reasoning in Large Language Models","created":"2024-09-26","cited_by_count":23,"area":"lr"},{"id":"2504.05410","title":"Fast Controlled Generation from Language Models with Adaptive Weighted Rejection Sampling","created":"2025-04-07","cited_by_count":21,"area":null},{"id":"2505.15817","title":"Learning to Reason via Mixture-of-Thought for Logical Reasoning","created":"2025-05-21","cited_by_count":20,"area":"lr"},{"id":"2408.13654","title":"Symbolic Working Memory Enhances Language Models for Complex Rule Application","created":"2024-08-24","cited_by_count":17,"area":"lr"},{"id":"2503.09790","title":"Constrained Discrete Diffusion","created":"2025-03-12","cited_by_count":17,"area":"diffusion"},{"id":"2506.04810","title":"Dissecting Logical Reasoning in LLMs: A Fine-Grained Evaluation and Supervision Study","created":"2025-06-05","cited_by_count":17,"area":"lr"},{"id":"2402.00745","title":"Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement","created":"2024-02-01","cited_by_count":16,"area":"lr"},{"id":"2410.10336","title":"CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning","created":"2024-10-14","cited_by_count":16,"area":"lr"},{"id":"2411.11504","title":"Search, Verify and Feedback: Towards Next Generation Post-training Paradigm of Foundation Models via Verifier Engineering","created":"2024-11-18","cited_by_count":16,"area":null},{"id":"2506.18110","title":"RL for Reasoning by Adaptively Revealing Rationales","created":"2025-06-22","cited_by_count":16,"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":"2407.11373","title":"Reliable Reasoning Beyond Natural Language","created":"2024-07-16","cited_by_count":14,"area":"lr"},{"id":"2502.13137","title":"Theorem Prover as a Judge for Synthetic Data Generation","created":"2025-02-18","cited_by_count":14,"area":"lr"},{"id":"2406.13764","title":"Can LLMs Reason in the Wild with Programs?","created":"2024-06-19","cited_by_count":13,"area":"lr"},{"id":"2506.01341","title":"TurnBench-MS: A Benchmark for Evaluating Multi-Turn, Multi-Step Reasoning in Large Language Models","created":"2025-06-02","cited_by_count":13,"area":"lr"},{"id":"2501.14540","title":"VERUS-LM: a Versatile Framework for Combining LLMs with Symbolic Reasoning","created":"2025-01-24","cited_by_count":12,"area":"lr"},{"id":"2503.17726","title":"A Survey on Mathematical Reasoning and Optimization with Large Language Models","created":"2025-03-22","cited_by_count":12,"area":"lr"},{"id":"2402.13399","title":"Learning and Sustaining Shared Normative Systems via Bayesian Rule Induction in Markov Games","created":"2024-02-20","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":"2511.04662","title":"VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency Checks","created":"2025-11-06","cited_by_count":11,"area":"lr"},{"id":"2409.16461","title":"Strategies for Improving NL-to-FOL Translation with LLMs: Data Generation, Incremental Fine-Tuning, and Verification","created":"2024-09-24","cited_by_count":10,"area":"lr"},{"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":"2501.00830","title":"LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions","created":"2025-01-01","cited_by_count":10,"area":"lr"},{"id":"2505.20047","title":"Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks","created":"2025-05-26","cited_by_count":10,"area":"lr"},{"id":"2502.17967","title":"Agent Trading Arena: A Study on Numerical Understanding in LLM-Based Agents","created":"2025-02-25","cited_by_count":9,"area":"agents"},{"id":"2511.09008","title":"A Neurosymbolic Approach to Natural Language Formalization and Verification","created":"2025-11-12","cited_by_count":9,"area":null},{"id":"2406.02791","title":"Language Models can Infer Action Semantics for Symbolic Planners from Environment Feedback","created":"2024-06-04","cited_by_count":8,"area":null},{"id":"2505.15960","title":"Efficient PRM Training Data Synthesis via Formal Verification","created":"2025-05-21","cited_by_count":8,"area":"lr"},{"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":"2604.25031","title":"Faithful Autoformalization via Roundtrip Verification and Repair","created":"2026-04-27","cited_by_count":8,"area":null},{"id":"2311.17438","title":"CLOMO: Counterfactual Logical Modification with Large Language Models","created":"2023-11-29","cited_by_count":7,"area":"lr"},{"id":"2505.14479","title":"Reliable Proof Generation with LLMs via Analogical Retrieval and Symbolic Verification: A Case Study in Euclidean Geometry","created":"2025-05-20","cited_by_count":7,"area":"lr"},{"id":"2505.16477","title":"Advancing the Scientific Method with Large Language Models: From Hypothesis to Discovery","created":"2025-05-22","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":"2509.25851","title":"MuSLR: Multimodal Symbolic Logical Reasoning","created":"2025-09-30","cited_by_count":7,"area":"lr"},{"id":"2402.10543","title":"Strong hallucinations from negation and how to fix them","created":"2024-02-16","cited_by_count":6,"area":"lr"},{"id":"2402.11903","title":"DiLA: Enhancing LLM Tool Learning with Differential Logic Layer","created":"2024-02-19","cited_by_count":6,"area":"lr"},{"id":"2410.21779","title":"Leveraging LLMs for Hypothetical Deduction in Logical Inference: A Neuro-Symbolic Approach","created":"2024-10-29","cited_by_count":6,"area":"lr"},{"id":"2510.15963","title":"ESCA: Contextualizing Embodied Agents via Scene-Graph Generation","created":"2025-10-11","cited_by_count":6,"area":"mllm"},{"id":"2512.18196","title":"LogicReward: Incentivizing LLM Reasoning via Step-Wise Logical Supervision","created":"2025-12-20","cited_by_count":6,"area":"lr"},{"id":"2402.10767","title":"Inference to the Best Explanation in Large Language Models","created":"2024-02-16","cited_by_count":5,"area":null},{"id":"2411.11465","title":"Re-examining learning linear functions in context","created":"2024-11-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":"2505.20869","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","created":"2025-05-27","cited_by_count":5,"area":"lr"},{"id":"2506.04575","title":"Are LLMs Stable Formal Logic Translators in Logical Reasoning Across Linguistically Diversified Texts?","created":"2025-06-05","cited_by_count":5,"area":"lr"},{"id":"2510.19429","title":"NeSyPr: Neurosymbolic Proceduralization For Efficient Embodied Reasoning","created":"2025-10-22","cited_by_count":5,"area":"lr"},{"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":"2603.21250","title":"Graph of States: Solving Abductive Tasks with Large Language Models","created":"2026-03-22","cited_by_count":5,"area":"lr"},{"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":"2501.08613","title":"Assessing the Sensitivity and Alignment of FOL Closeness Metrics","created":"2025-01-15","cited_by_count":4,"area":"lr"},{"id":"2505.11932","title":"Neuro-Symbolic Query Compiler","created":"2025-05-17","cited_by_count":4,"area":"rag"},{"id":"2506.05746","title":"LLM-Symbolic Integration for Robust Temporal Tabular Reasoning","created":"2025-06-06","cited_by_count":4,"area":"lr"},{"id":"2507.09751","title":"Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations","created":"2025-07-13","cited_by_count":4,"area":"lr"},{"id":"2508.12425","title":"Non-Interactive Symbolic-Aided Chain-of-Thought for Logical Reasoning","created":"2025-08-17","cited_by_count":4,"area":"lr"},{"id":"2510.20909","title":"Code-enabled language models can outperform reasoning models on diverse tasks","created":"2025-10-23","cited_by_count":4,"area":"lr"},{"id":"2512.05065","title":"Personalizing Agent Privacy Decisions via Logical Entailment","created":"2025-12-04","cited_by_count":4,"area":"agents"},{"id":"2601.17789","title":"Neuro-Symbolic Verification on Instruction Following of LLMs","created":"2026-01-25","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":"2404.18130","title":"Logic Agent: Enhancing Validity with Logic Rule Invocation","created":"2024-04-28","cited_by_count":3,"area":"lr"},{"id":"2409.11147","title":"Reasoning Graph Enhanced Exemplars Retrieval for In-Context Learning","created":"2024-09-17","cited_by_count":3,"area":"lr"},{"id":"2502.01657","title":"Improving Rule-based Reasoning in LLMs using Neurosymbolic Representations","created":"2025-01-31","cited_by_count":3,"area":"lr"},{"id":"2502.12275","title":"Integrating Expert Knowledge into Logical Programs via LLMs","created":"2025-02-17","cited_by_count":3,"area":"lr"},{"id":"2402.08064","title":"Beyond LLMs: Advancing the Landscape of Complex Reasoning","created":"2024-02-12","cited_by_count":2,"area":"lr"},{"id":"2404.15515","title":"ToM-LM: Delegating Theory of Mind Reasoning to External Symbolic Executors in Large Language Models","created":"2024-04-23","cited_by_count":2,"area":"lr"},{"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":"2410.02823","title":"DANA: Domain-Aware Neurosymbolic Agents for Consistency and Accuracy","created":"2024-09-27","cited_by_count":2,"area":"agents"},{"id":"2410.03203","title":"Learning Semantic Structure through First-Order-Logic Translation","created":"2024-10-04","cited_by_count":2,"area":null},{"id":"2410.08437","title":"Autonomous Evaluation of LLMs for Truth Maintenance and Reasoning Tasks","created":"2024-10-11","cited_by_count":2,"area":"lr"},{"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":"2503.17339","title":"Can AI expose tax loopholes? Towards a new generation of legal policy assistants","created":"2025-03-21","cited_by_count":2,"area":null},{"id":"2505.21486","title":"Hypothesis Generation via LLM-Automated Language Bias for ILP","created":"2025-05-27","cited_by_count":2,"area":null},{"id":"2507.04793","title":"A Survey of Pun Generation: Datasets, Evaluations and Methodologies","created":"2025-07-07","cited_by_count":2,"area":null},{"id":"2510.04195","title":"Constructing coherent spatial memory in LLM agents through graph rectification","created":"2025-10-05","cited_by_count":2,"area":"agents"},{"id":"2510.16381","title":"ATA: A Neuro-Symbolic Approach to Implement Autonomous and Trustworthy Agents","created":"2025-10-18","cited_by_count":2,"area":"agents"},{"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.03360","title":"From Hypothesis to Premises: LLM-based Backward Logical Reasoning with Selective Symbolic Translation","created":"2025-12-03","cited_by_count":2,"area":"lr"},{"id":"2601.18595","title":"A Balanced Neuro-Symbolic Approach for Commonsense Abductive Logic","created":"2026-01-26","cited_by_count":2,"area":"lr"},{"id":"2601.18987","title":"LLMs versus the Halting Problem: Characterizing Program Termination Reasoning","created":"2026-01-26","cited_by_count":2,"area":"lr"},{"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":"2603.03177","title":"Neuro-Symbolic Artificial Intelligence: A Task-Directed Survey in the Black-Box Models Era","created":"2026-03-03","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":"2606.00033","title":"Make Mechanistic Interpretability Auditable: A Call to Develop Guidelines via Continuous Collaborative Reviewing","created":"2026-04-24","cited_by_count":2,"area":"mechinterp"},{"id":"2402.05307","title":"Three Pathways to Neurosymbolic Reinforcement Learning with Interpretable Model and Policy Networks","created":"2024-02-07","cited_by_count":1,"area":"deeprl"}],"next_cursor":"100"}