{"total":19,"rows":[{"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":"2505.15817","title":"Learning to Reason via Mixture-of-Thought for Logical Reasoning","created":"2025-05-21","cited_by_count":20,"area":"lr"},{"id":"2506.17104","title":"Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving","created":"2025-06-20","cited_by_count":8,"area":"lr"},{"id":"2506.08672","title":"RuleReasoner: Reinforced Rule-based Reasoning via Domain-aware Dynamic Sampling","created":"2025-06-10","cited_by_count":6,"area":"lr"},{"id":"2512.18196","title":"LogicReward: Incentivizing LLM Reasoning via Step-Wise Logical Supervision","created":"2025-12-20","cited_by_count":6,"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":"2508.12425","title":"Non-Interactive Symbolic-Aided Chain-of-Thought for Logical Reasoning","created":"2025-08-17","cited_by_count":4,"area":"lr"},{"id":"2508.19903","title":"Logical Reasoning with Outcome Reward Models for Test-Time Scaling","created":"2025-08-27","cited_by_count":3,"area":"lr"},{"id":"2601.09446","title":"Improving Symbolic Translation of Language Models for Logical Reasoning","created":"2026-01-14","cited_by_count":2,"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":"2602.21044","title":"LogicGraph : Benchmarking Multi-Path Logical Reasoning via Neuro-Symbolic Generation and Verification","created":"2026-02-24","cited_by_count":1,"area":"lr"},{"id":"2607.21933","title":"Semiotic logical hexagon theory for LLM logical reasoning","created":"2026-07-24","cited_by_count":1,"area":"lr"},{"id":"2511.17672","title":"Cognitive Inception: Agentic Reasoning against Visual Deceptions by Injecting Skepticism","created":"2025-11-21","cited_by_count":0,"area":"lr"},{"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":"2608.26832","title":"RuleWeaver: Benchmarking Rule-Centered Scenario Reasoning for Large Language Models","created":"2026-08-27","cited_by_count":0,"area":"lr"},{"id":"2609.37203","title":"Learning to Prove, Not Just to Answer: Reinforcement Learning from Formal Verification for Natural-Language Logical Reasoning","created":"2026-09-29","cited_by_count":0,"area":"lr"},{"id":"2609.38409","title":"ArgGYM: A Procedural, Engine-Verified Benchmark for Structured Defeasible Reasoning","created":"2026-09-29","cited_by_count":0,"area":"lr"},{"id":"2610.14402","title":"SAT-RL: Training Language Models for Logical Reasoning with Symbolic Solvers","created":"2026-10-09","cited_by_count":0,"area":"lr"}],"next_cursor":null}