Reasoning

Machine Learning meets Algebraic Combinatorics: A Suite of Datasets Capturing Research-level Conjecturing Ability in Pure Mathematics ICML 2025 MAGIC-VQA: Multimodal And Grounded Inference with Commonsense Knowledge for Visual Question Answering ACL 2025 MASA: LLM-Driven Multi-Agent Systems for Autoformalization EMNLP 2025 MCF-Spouse: A Multi-Label Causal Feature Selection Method with Optimal Spouses Discovery IJCAI 2025 MCTS-RAG: Enhancing Retrieval-Augmented Generation with Monte Carlo Tree Search EMNLP 2025 Measuring In-Context Computation Complexity via Hidden State Prediction ICML 2025 Measuring Variable Importance in Heterogeneous Treatment Effects with Confidence ICML 2025 MedEx: Enhancing Medical Question-Answering with First-Order Logic based Reasoning and Knowledge Injection COLING 2025 Memory-augmented Query Reconstruction for LLM-based Knowledge Graph Reasoning ACL 2025 MeshTest: End-to-End Testing for Service Mesh Traffic Management NSDI 2025 Minimal Evidence Group Identification for Claim Verification NAACL 2025 Mining Complex Patterns of Argumentative Reasoning in Natural Language Dialogue ACL 2025 Mixture of Structural-and-Textual Retrieval over Text-rich Graph Knowledge Bases ACL 2025 Modeling Complex Semantics Relation with Contrastively Fine-Tuned Relational Encoders ACL 2025 MolRAG: Unlocking the Power of Large Language Models for Molecular Property Prediction ACL 2025 Multi-Cost-Bounded Reachability Analysis of POMDPs UAI 2025 Multi-document Summarization through Multi-document Event Relation Graph Reasoning in LLMs: a case study in Framing Bias Mitigation ACL 2025 Multi-Domain Causal Discovery in Bijective Causal Models CLeaR 2025 MultiLogicNMR(er): A Benchmark and Neural-Symbolic Framework for Non-monotonic Reasoning with Multiple Extensions EMNLP 2025 Multimodal Causal Reasoning Benchmark: Challenging Multimodal Large Language Models to Discern Causal Links Across Modalities ACL 2025 MXMap: A Multivariate Cross Mapping Framework for Causal Discovery in Dynamical Systems CLeaR 2025 NeSyA: Neurosymbolic Automata IJCAI 2025 Network Causal Effect Estimation In Graphical Models Of Contagion And Latent Confounding CLeaR 2025 Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers L4DC 2025 Neuro-Conceptual Artificial Intelligence: Integrating OPM with Deep Learning to Enhance Question Answering Quality COLING 2025