Reasoning

Toward Reasonable Parrots: Why Large Language Models Should Argue with Us by Design ACL 2025 Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving EMNLP 2025 Towards a Theory of AI Personhood AAAI 2025 Towards Explainable Temporal Reasoning in Large Language Models: A Structure-Aware Generative Framework ACL 2025 Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine ACL 2025 Towards Omnimodal Expressions and Reasoning in Referring Audio-Visual Segmentation ICCV 2025 ToW: Thoughts of Words Improve Reasoning in Large Language Models NAACL 2025 TPO: Aligning Large Language Models with Multi-branch & Multi-step Preference Trees ICLR 2025 TRACE-CS: A Synergistic Approach to Explainable Course Scheduling Using LLMs and Logic AAAI 2025 Tracing and Dissecting How LLMs Recall Factual Knowledge for Real World Questions ACL 2025 Tracking Evolving Relationship Between Characters in Books in the Era of Large Language Models NAACL 2025 Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios AAAI 2025 Training-free Generation of Temporally Consistent Rewards from VLMs ICCV 2025 Training Strategies for Efficient Embodied Reasoning CoRL 2025 TreeCut: A Synthetic Unanswerable Math Word Problem Dataset for LLM Hallucination Evaluation ACL 2025 TreeEval: Benchmark-Free Evaluation of Large Language Models through Tree Planning AAAI 2025 Tree-of-AdEditor: Heuristic Tree Reasoning for Automated Video Advertisement Editing with Large Language Model IJCAI 2025 Tree-of-Debate: Multi-Persona Debate Trees Elicit Critical Thinking for Scientific Comparative Analysis ACL 2025 Tree-of-Quote Prompting Improves Factuality and Attribution in Multi-Hop and Medical Reasoning EMNLP 2025 TreeRare: Syntax Tree-Guided Retrieval and Reasoning for Knowledge-Intensive Question Answering EMNLP 2025 TreeRL: LLM Reinforcement Learning with On-Policy Tree Search ACL 2025 TReMu: Towards Neuro-Symbolic Temporal Reasoning for LLM-Agents with Memory in Multi-Session Dialogues ACL 2025 TripCraft: A Benchmark for Spatio-Temporally Fine Grained Travel Planning ACL 2025 TSVer: A Benchmark for Fact Verification Against Time-Series Evidence EMNLP 2025 TurnaboutLLM: A Deductive Reasoning Benchmark from Detective Games EMNLP 2025