Reasoning

Product of Experts with LLMs: Boosting Performance on ARC Is a Matter of Perspective ICML 2025 ProgCo: Program Helps Self-Correction of Large Language Models ACL 2025 Programming by Example meets Historical Linguistics: A Large Language Model Based Approach to Sound Law Induction ACL 2025 Program of Thoughts for Financial Reasoning: Leveraging Dynamic In-Context Examples and Generative Retrieval EMNLP 2025 Program Synthesis Benchmark for Visual Programming in XLogoOnline Environment ACL 2025 ProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis ICML 2025 Proof Simulation via Round-based Strategy Extraction for QBF AAAI 2025 ProofTeller: Exposing recency bias in LLM reasoning and its side effects on communication IJCNLP 2025 PropRAG: Guiding Retrieval with Beam Search over Proposition Paths EMNLP 2025 ProReason: Multi-Modal Proactive Reasoning with Decoupled Eyesight and Wisdom EMNLP 2025 Putnam-AXIOM: A Functional & Static Benchmark for Measuring Higher Level Mathematical Reasoning in LLMs ICML 2025 Puzzled by Puzzles: When Vision-Language Models Can’t Take a Hint EMNLP 2025 QDTSynth: Quality-Driven Formal Theorem Synthesis for Enhancing Proving Performance of LLMs ACL 2025 Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization AAAI 2025 Quantifying Logical Consistency in Transformers via Query-Key Alignment EMNLP 2025 R2I-Bench: Benchmarking Reasoning-Driven Text-to-Image Generation EMNLP 2025 R2-MultiOmnia: Leading Multilingual Multimodal Reasoning via Self-Training ACL 2025 R3-RAG: Learning Step-by-Step Reasoning and Retrieval for LLMs via Reinforcement Learning EMNLP 2025 RaaS: Reasoning-Aware Attention Sparsity for Efficient LLM Reasoning ACL 2025 RaDeR: Reasoning-aware Dense Retrieval Models EMNLP 2025 RARE: Retrieval-Augmented Reasoning Enhancement for Large Language Models ACL 2025 RASTeR: Robust, Agentic, and Structured Temporal Reasoning IJCNLP 2025 RAVEN++: Pinpointing Fine-Grained Violations in Advertisement Videos with Active Reinforcement Reasoning EMNLP 2025 RBench: Graduate-level Multi-disciplinary Benchmarks for LLM & MLLM Complex Reasoning Evaluation ICML 2025 R-CHAR: A Metacognition-Driven Framework for Role-Playing in Large Language Models EMNLP 2025