{"total":102,"rows":[{"id":"2308.10620","title":"Large Language Models for Software Engineering: A Systematic Literature Review","created":"2023-08-21","cited_by_count":399,"area":null},{"id":"2305.12295","title":"Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning","created":"2023-05-20","cited_by_count":391,"area":"lr"},{"id":"2409.12183","title":"To CoT or not to CoT? Chain-of-thought helps mainly on math and symbolic reasoning","created":"2024-09-18","cited_by_count":263,"area":"lr"},{"id":"2309.15402","title":"Navigate through Enigmatic Labyrinth A Survey of Chain of Thought Reasoning: Advances, Frontiers and Future","created":"2023-09-27","cited_by_count":184,"area":"lr"},{"id":"2310.15164","title":"LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers","created":"2023-10-23","cited_by_count":168,"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":"2305.15541","title":"Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation","created":"2023-05-24","cited_by_count":59,"area":"alignment"},{"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":"2502.15652","title":"Empowering LLMs with Logical Reasoning: A Comprehensive Survey","created":"2025-02-21","cited_by_count":51,"area":"lr"},{"id":"2501.18160","title":"RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing","created":"2025-01-30","cited_by_count":49,"area":"agents"},{"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":"2403.13312","title":"LeanReasoner: Boosting Complex Logical Reasoning with Lean","created":"2024-03-20","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":"2311.06158","title":"Language Models can be Logical Solvers","created":"2023-11-10","cited_by_count":24,"area":"lr"},{"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":"2404.17833","title":"Testing and Understanding Erroneous Planning in LLM Agents through Synthesized User Inputs","created":"2024-04-27","cited_by_count":22,"area":"agents"},{"id":"2406.05572","title":"Trust the PRoC3S: Solving Long-Horizon Robotics Problems with LLMs and Constraint Satisfaction","created":"2024-06-08","cited_by_count":19,"area":null},{"id":"2407.06249","title":"CodeUpdateArena: Benchmarking Knowledge Editing on API Updates","created":"2024-07-08","cited_by_count":19,"area":null},{"id":"2502.12616","title":"Improving Chain-of-Thought Reasoning via Quasi-Symbolic Abstractions","created":"2025-02-18","cited_by_count":17,"area":"lr"},{"id":"2407.02514","title":"LOGIC-LM++: Multi-Step Refinement for Symbolic Formulations","created":"2024-06-22","cited_by_count":14,"area":"lr"},{"id":"2409.12929","title":"LogicPro: Improving Complex Logical Reasoning via Program-Guided Learning","created":"2024-09-19","cited_by_count":14,"area":"lr"},{"id":"2504.03930","title":"Have Large Language Models Learned to Reason? A Characterization via 3-SAT Phase Transition","created":"2025-04-04","cited_by_count":14,"area":"lr"},{"id":"2505.02216","title":"LLM-Guided Probabilistic Program Induction for POMDP Model Estimation","created":"2025-05-04","cited_by_count":12,"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":"2501.00539","title":"MCP-Solver: Integrating Language Models with Constraint Programming Systems","created":"2024-12-31","cited_by_count":10,"area":"agents"},{"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":"2410.10449","title":"QUITE: Quantifying Uncertainty in Natural Language Text in Bayesian Reasoning Scenarios","created":"2024-10-14","cited_by_count":9,"area":"lr"},{"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":"2506.15211","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","created":"2025-06-18","cited_by_count":9,"area":"lr"},{"id":"2511.09008","title":"A Neurosymbolic Approach to Natural Language Formalization and Verification","created":"2025-11-12","cited_by_count":9,"area":null},{"id":"2310.15575","title":"POE: Process of Elimination for Multiple Choice Reasoning","created":"2023-10-24","cited_by_count":8,"area":"lr"},{"id":"2604.25031","title":"Faithful Autoformalization via Roundtrip Verification and Repair","created":"2026-04-27","cited_by_count":8,"area":null},{"id":"2402.11903","title":"DiLA: Enhancing LLM Tool Learning with Differential Logic Layer","created":"2024-02-19","cited_by_count":6,"area":"lr"},{"id":"2311.09796","title":"Interpreting User Requests in the Context of Natural Language Standing Instructions","created":"2023-11-16","cited_by_count":5,"area":null},{"id":"2412.07148","title":"MM-PoE: Multiple Choice Reasoning via. Process of Elimination using Multi-Modal Models","created":"2024-12-10","cited_by_count":5,"area":"lr"},{"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":"2510.03182","title":"Simulation to Rules: A Dual-VLM Framework for Formal Visual Planning","created":"2025-10-03","cited_by_count":5,"area":"mllm"},{"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":"2407.03956","title":"Solving Zebra Puzzles Using Constraint-Guided Multi-Agent Systems","created":"2024-07-04","cited_by_count":4,"area":"lr"},{"id":"2411.16927","title":"ASSERTIFY: Utilizing Large Language Models to Generate Assertions for Production Code","created":"2024-11-25","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":"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":"2508.12425","title":"Non-Interactive Symbolic-Aided Chain-of-Thought for Logical Reasoning","created":"2025-08-17","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":"2509.21874","title":"Abductive Logical Rule Induction by Bridging Inductive Logic Programming and Multimodal Large Language Models","created":"2025-09-26","cited_by_count":3,"area":"mllm"},{"id":"2405.12147","title":"Eliciting Problem Specifications via Large Language Models","created":"2024-05-20","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":"2510.04195","title":"Constructing coherent spatial memory in LLM agents through graph rectification","created":"2025-10-05","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":"2601.18595","title":"A Balanced Neuro-Symbolic Approach for Commonsense Abductive Logic","created":"2026-01-26","cited_by_count":2,"area":"lr"},{"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":"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":"2606.09738","title":"HDSL: A Hierarchical Domain-Specific Language for Structured 3D Indoor Scene Generation and Localized Editing with LLM Agents","created":"2026-06-08","cited_by_count":2,"area":"agents"},{"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":"2408.05442","title":"Chain of Condition: Construct, Verify and Solve Conditions for Conditional Question Answering","created":"2024-08-10","cited_by_count":1,"area":null},{"id":"2409.17005","title":"Models Can and Should Embrace the Communicative Nature of Human-Generated Math","created":"2024-09-25","cited_by_count":1,"area":null},{"id":"2505.13252","title":"A Reality Check of Language Models as Formalizers on Constraint Satisfaction Problems","created":"2025-05-19","cited_by_count":1,"area":"lr"},{"id":"2506.18383","title":"LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization","created":"2025-06-23","cited_by_count":1,"area":"lr"},{"id":"2507.20491","title":"Speaking in Words, Thinking in Logic: A Dual-Process Framework in QA Systems","created":"2025-07-28","cited_by_count":1,"area":"lr"},{"id":"2508.03500","title":"Error Detection and Correction for Interpretable Mathematics in Large Language Models","created":"2025-08-05","cited_by_count":1,"area":"lr"},{"id":"2509.17377","title":"Robustness of Neurosymbolic Reasoners on First-Order Logic Problems","created":"2025-09-22","cited_by_count":1,"area":"lr"},{"id":"2510.22204","title":"Human-Inspired Neuro-Symbolic World Modeling and Logic Reasoning for Interpretable Safe UAV Landing Site Assessment","created":"2025-10-25","cited_by_count":1,"area":"wm"},{"id":"2603.18614","title":"ZEBRAARENA: A Diagnostic Simulation Environment for Studying Reasoning-Action Coupling in Tool-Augmented LLMs","created":"2026-03-19","cited_by_count":1,"area":"lr"},{"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},{"id":"2607.12711","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku","created":"2026-07-14","cited_by_count":1,"area":"lr"},{"id":"2608.18820","title":"Pairwise Logical Selection of Enthymeme Completions under Semantic-Link Uncertainty","created":"2026-08-19","cited_by_count":1,"area":null},{"id":"2409.18778","title":"HardCore Generation: Generating Hard UNSAT Problems for Data Augmentation","created":"2024-09-27","cited_by_count":0,"area":null},{"id":"2508.04427","title":"Decoding the Multimodal Maze: A Systematic Review on the Adoption of Explainability in Multimodal Attention-based Models","created":"2025-08-06","cited_by_count":0,"area":null},{"id":"2512.03272","title":"When Do Symbolic Solvers Enhance Reasoning in Large Language Models?","created":"2025-12-02","cited_by_count":0,"area":"lr"},{"id":"2602.18095","title":"Neurosymbolic Language Reasoning as Satisfiability Modulo Theory","created":"2026-02-20","cited_by_count":0,"area":"lr"},{"id":"2604.01455","title":"Infeasibility Aware Large Language Models for Combinatorial Optimization","created":"2026-04-01","cited_by_count":0,"area":null},{"id":"2605.00270","title":"Are You the A-hole? A Fair, Multi-Perspective Ethical Reasoning Framework","created":"2026-04-30","cited_by_count":0,"area":"lr"},{"id":"2605.06184","title":"Teaching LLMs Program Semantics via Symbolic Execution Traces","created":"2026-05-07","cited_by_count":0,"area":null},{"id":"2605.16632","title":"Learning How to Cube","created":"2026-05-15","cited_by_count":0,"area":"alignment"},{"id":"2605.24305","title":"ChaosBench-Logic v2: Evaluating LLM Logical Reasoning over Dynamical Systems at Scale","created":"2026-05-23","cited_by_count":0,"area":"lr"},{"id":"2605.27784","title":"WIRE: Profiling Witnessed Within-Policy Instruction Collisions in LLM Agents","created":"2026-05-27","cited_by_count":0,"area":"agents"},{"id":"2605.27824","title":"Revealing Algorithmic Deductive Circuits for Logical Reasoning","created":"2026-05-27","cited_by_count":0,"area":"lr"},{"id":"2605.28666","title":"An LLM-Based Assistance System for Intuitive and Flexible Capability-Based Planning","created":"2026-05-27","cited_by_count":0,"area":null},{"id":"2605.29687","title":"Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability","created":"2026-05-28","cited_by_count":0,"area":"lr"},{"id":"2606.15577","title":"Large Language Models as Optimizers: A Survey of Direct vs. Tool-Augmented Approaches and Their Performance Frontiers","created":"2026-04-09","cited_by_count":0,"area":null},{"id":"2606.19588","title":"Analyzing the Narration Gap in LLM-Solver Loops","created":"2026-06-17","cited_by_count":0,"area":"lr"},{"id":"2606.20895","title":"Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification","created":"2026-06-18","cited_by_count":0,"area":null},{"id":"2608.14771","title":"From Errors to Proofs: Minimal-Core-Guided Repair for Neuro-Symbolic Constraint Solving","created":"2026-08-14","cited_by_count":0,"area":null},{"id":"2609.03366","title":"Accountable AI with Grounded, Faithful, Consistent, Actionable Rationales: A Case Study in Clinical Trial Matching with VERDICT","created":"2026-09-03","cited_by_count":0,"area":null},{"id":"2609.13945","title":"SAILOR: Solver-Assisted Interactive LLM-based Optimization Recovery","created":"2026-09-12","cited_by_count":0,"area":null},{"id":"2609.20319","title":"QEncodeBench: Can Large Language Models Encode Classical Problems into Verified Quantum Oracles?","created":"2026-07-31","cited_by_count":0,"area":null},{"id":"2609.27321","title":"Verifiable Hidden Dynamics Play: Generating Agentic RL Environments from Solved Mechanisms","created":"2026-09-23","cited_by_count":0,"area":"agents"},{"id":"2609.29876","title":"Ontology-Mediated Neurosymbolic Constraint Acquisition from Multiple Stakeholders","created":"2026-09-24","cited_by_count":0,"area":null},{"id":"2609.29921","title":"Who Holds the Pen? Let Specifications, Not Agents, Sign Off","created":"2026-09-24","cited_by_count":0,"area":"agents"},{"id":"2609.32431","title":"DualGuard: Dual-Mode Quality Control for Logic-Preserving Data Augmentation","created":"2026-09-26","cited_by_count":0,"area":"lr"},{"id":"2609.32900","title":"Constraints Are Graphs, Not Chains: Exact Decoding for Diffusion Language Models","created":"2026-09-26","cited_by_count":0,"area":"diffusion"},{"id":"2609.33612","title":"Quizzing the Translation: A Prover-Grounded Evaluation Metric for NL$\\rightarrow$FOL","created":"2026-09-27","cited_by_count":0,"area":"lr"},{"id":"2609.34660","title":"Rewarding Novel Deductions: Solver-guided Process Supervision for Logical Reasoning","created":"2026-09-28","cited_by_count":0,"area":"lr"},{"id":"2609.38621","title":"When Scientific Contradictions Are Lost in Translation","created":"2026-09-29","cited_by_count":0,"area":null}],"next_cursor":"100"}