{"total":59,"rows":[{"id":"2401.06853","title":"Large Language Models Can Learn Temporal Reasoning","created":"2024-01-12","cited_by_count":111,"area":"lr"},{"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":"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":"2404.03275","title":"DELTA: Decomposed Efficient Long-Term Robot Task Planning using Large Language Models","created":"2024-04-04","cited_by_count":33,"area":null},{"id":"2404.14928","title":"Graph Machine Learning in the Era of Large Language Models (LLMs)","created":"2024-04-23","cited_by_count":33,"area":null},{"id":"2509.24765","title":"Semantic-Aware Logical Reasoning via a Semiotic Framework","created":"2025-09-29","cited_by_count":32,"area":"lr"},{"id":"2601.02902","title":"Logical Phase Transitions: Understanding Collapse in LLM Logical Reasoning","created":"2026-01-06","cited_by_count":25,"area":"lr"},{"id":"2409.19492","title":"MedHalu: Hallucinations in Responses to Healthcare Queries by Large Language Models","created":"2024-09-29","cited_by_count":21,"area":null},{"id":"2507.07313","title":"Frontier LLMs Still Struggle with Simple Reasoning Tasks","created":"2025-07-09","cited_by_count":21,"area":"lr"},{"id":"2307.16699","title":"Ontology engineering with Large Language Models","created":"2023-07-31","cited_by_count":17,"area":null},{"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":"2505.13527","title":"Logic Jailbreak: Efficiently Unlocking LLM Safety Restrictions Through Formal Logical Expression","created":"2025-05-18","cited_by_count":16,"area":"alignment"},{"id":"2601.04688","title":"ToolGate: Contract-Grounded and Verified Tool Execution for LLMs","created":"2026-01-08","cited_by_count":15,"area":"agents"},{"id":"2406.13764","title":"Can LLMs Reason in the Wild with Programs?","created":"2024-06-19","cited_by_count":13,"area":"lr"},{"id":"2412.14368","title":"Beyond Math: Stories as a Testbed for Memorization-Constrained Reasoning in LLMs","created":"2024-12-18","cited_by_count":12,"area":"lr"},{"id":"2308.09830","title":"Synergistic Integration of Large Language Models and Cognitive Architectures for Robust AI: An Exploratory Analysis","created":"2023-08-18","cited_by_count":11,"area":null},{"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":"2404.00209","title":"EventGround: Narrative Reasoning by Grounding to Eventuality-centric Knowledge Graphs","created":"2024-03-30","cited_by_count":9,"area":"lr"},{"id":"2406.00284","title":"A Closer Look at Logical Reasoning with LLMs: The Choice of Tool Matters","created":"2024-06-01","cited_by_count":8,"area":"lr"},{"id":"2510.06774","title":"Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver Composition","created":"2025-10-08","cited_by_count":7,"area":"lr"},{"id":"2512.23511","title":"Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving","created":"2025-12-29","cited_by_count":6,"area":"lr"},{"id":"2601.20539","title":"PathWise: Planning through World Model for Automated Heuristic Design via Self-Evolving LLMs","created":"2026-01-28","cited_by_count":6,"area":"wm"},{"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":"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":"2401.11725","title":"Speak It Out: Solving Symbol-Related Problems with Symbol-to-Language Conversion for Language Models","created":"2024-01-22","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":"2501.08613","title":"Assessing the Sensitivity and Alignment of FOL Closeness Metrics","created":"2025-01-15","cited_by_count":4,"area":"lr"},{"id":"2505.16998","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","created":"2025-05-22","cited_by_count":4,"area":"lr"},{"id":"2403.03645","title":"Graph Generation Powered with LLMs for Boosting Multivariate Time-Series Representation Learning","created":"2024-03-06","cited_by_count":3,"area":null},{"id":"2403.18327","title":"$\\forall$uto$\\exists$val: Autonomous Assessment of LLMs in Formal Synthesis and Interpretation Tasks","created":"2024-03-27","cited_by_count":3,"area":null},{"id":"2505.01479","title":"Deliberate Planning in Language Models with Symbolic Representation","created":"2025-05-02","cited_by_count":3,"area":null},{"id":"2606.16118","title":"Know Your Limits : On the Faithfulness of LLMs as Solvers and Autoformalizers in Legal Reasoning","created":"2026-06-15","cited_by_count":3,"area":"lr"},{"id":"2401.04319","title":"Know Your Needs Better: Towards Structured Understanding of Marketer Demands with Analogical Reasoning Augmented LLMs","created":"2024-01-09","cited_by_count":2,"area":"lr"},{"id":"2402.16105","title":"Towards Automated Knowledge Integration From Human-Interpretable Representations","created":"2024-02-25","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":"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":"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":"2601.18595","title":"A Balanced Neuro-Symbolic Approach for Commonsense Abductive Logic","created":"2026-01-26","cited_by_count":2,"area":"lr"},{"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":"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":"2512.14102","title":"Neurosymbolic Inference On Foundation Models For Remote Sensing Text-to-image Retrieval With Complex Queries","created":"2025-12-16","cited_by_count":1,"area":"mllm"},{"id":"2603.17233","title":"Draft-and-Prune: Improving the Reliability of Auto-formalization for Logical Reasoning","created":"2026-03-18","cited_by_count":1,"area":"lr"},{"id":"2605.06483","title":"ReasonSTL: Bridging Natural Language and Signal Temporal Logic via Tool-Augmented Process-Rewarded Learning","created":"2026-05-07","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.21933","title":"Semiotic logical hexagon theory for LLM logical reasoning","created":"2026-07-24","cited_by_count":1,"area":"lr"},{"id":"2410.14353","title":"Assistive AI for Augmenting Human Decision-making","created":"2024-10-18","cited_by_count":0,"area":null},{"id":"2508.19268","title":"MultiPL-MoE: Multi-Programming-Lingual Extension of Large Language Models through Hybrid Mixture-of-Experts","created":"2025-08-22","cited_by_count":0,"area":"moe"},{"id":"2512.14100","title":"A First-Order Logic-Based Alternative to Reward Models in RLHF","created":"2025-12-16","cited_by_count":0,"area":"lr"},{"id":"2602.02382","title":"ROG: Retrieval-Augmented LLM Reasoning for Complex First-Order Queries over Knowledge Graphs","created":"2026-02-02","cited_by_count":0,"area":"lr"},{"id":"2603.23867","title":"Can VLMs Reason Robustly? A Neuro-Symbolic Investigation","created":"2026-03-25","cited_by_count":0,"area":"lr"},{"id":"2604.14607","title":"GDPR Auto-Formalization with AI Agents and Human Verification","created":"2026-04-16","cited_by_count":0,"area":"agents"},{"id":"2604.18873","title":"From Natural Language to Executable Narsese: A Neuro-Symbolic Benchmark and Pipeline for Reasoning with NARS","created":"2026-04-20","cited_by_count":0,"area":"lr"},{"id":"2605.16052","title":"Reasoners or Translators? Contamination-aware Evaluation and Neuro-Symbolic Robustness in Tax Law","created":"2026-05-15","cited_by_count":0,"area":"lr"},{"id":"2606.07925","title":"ROSUM-MCTS: Monte Carlo Tree Search-Inspired HDL Code Summarization with Structural Rewards","created":"2026-06-06","cited_by_count":0,"area":null},{"id":"2608.07544","title":"MOSAIC: Adversarial Co-evolution of Specialist Heuristics and Problem Instances for LLM-based Automated Heuristic Design","created":"2026-07-31","cited_by_count":0,"area":null},{"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":"2610.00682","title":"Ontology-Grounded, Reasoner-Verified Benchmarks for Evaluating LLM Reasoning in Scientific AI","created":"2026-09-30","cited_by_count":0,"area":"lr"}],"next_cursor":null}