- What the Func? Multiple Realizability Need not be Vague
2026/04/02 by Olivia Guest, Mark Blokpoel, Iris van Rooij · 3 voices
Neuroscience · Computer Science · Psychology · #Embodied and Extended Cognition #Constraint Satisfaction and Optimization #Philosophy and Theoretical Science
- A Solver-in-the-Loop Framework for Improving LLMs on Answer Set Programming for Logic Puzzle Solving
2025/12/18 by Timo Pierre Schrader, Schrader, Timo Pierre, Lukas Lange +7 · 1 citation
Computer Science · #Logic, Reasoning, and Knowledge #Multimodal Machine Learning Applications #Constraint Satisfaction and Optimization
- Translating Informal Proofs into Formal Proofs Using a Chain of States
2025/12/11 by Ziyu Wang, Bowen Yang, Wang, Ziyu +11 · 1 citation
Computer Science · #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #Constraint Satisfaction and Optimization
- Geometrically-Constrained Agent for Spatial Reasoning
2025/11/27 by Zeren Chen, Chen, Zeren, Xiaoya Lu +14 · 1 citation
Computer Science · Engineering · #Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Multimodal Machine Learning Applications #Spatial Cognition and Navigation
- ORIGAMISPACE: Benchmarking Multimodal LLMs in Multi-Step Spatial Reasoning with Mathematical Constraints
2025/11/23 by Xu, Rui, Lu, Dakuan, Zhao, Zicheng +5 · 1 citation
Computer Science · Engineering · #Multimodal Machine Learning Applications #Constraint Satisfaction and Optimization #Spatial Cognition and Navigation
- Internalizing Tools as Morphisms in Graded Transformers
2025/11/21 by Shaska, Tony · 1 citation
Engineering · Computer Science · #Ferroelectric and Negative Capacitance Devices #Logic, programming, and type systems #Constraint Satisfaction and Optimization
- Beyond ReAct: A Planner-Centric Framework for Complex Tool-Augmented LLM Reasoning
2025/11/13 by Xiaolong Wei, Wei, Xiaolong, Dong, Yuehu +11 · 1 citation
Computer Science · #Advanced Graph Neural Networks #Artificial Intelligence (cs.AI) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Multimodal Machine Learning Applications
- SpatialThinker: Reinforcing Scene Graph-Grounded Spatial Reasoning via Dense Rewards
2025/11/10 by Hunar Batra, Batra, Hunar, Haoqin Tu +8 · 1 citation
Computer Science · Engineering · #Multimodal Machine Learning Applications #Spatial Cognition and Navigation #Constraint Satisfaction and Optimization
- Actial: Activate Spatial Reasoning Ability of Multimodal Large Language Models
2025/11/03 by Xiaoyu Zhan, Zhan, Xiaoyu, Wenxuan Huang +25 · 3 citations
Computer Science · #Computation and Language (cs.CL) #Computer Vision and Pattern Recognition (cs.CV) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Multimodal Machine Learning Applications #Topic Modeling
- PDE-SHARP: PDE Solver Hybrids through Analysis and Refinement Passes
2025/10/31 by Shaghayegh Fazliani, Madeleine Udell, Fazliani, Shaghayegh +1 · 1 citation
Computer Science · #Parallel Computing and Optimization Techniques #Formal Methods in Verification #Constraint Satisfaction and Optimization
- Think with 3D: Geometric Imagination Grounded Spatial Reasoning from Limited Views
2025/10/21 by Zhangquan Chen, Mengfang Zhang, Chen, Zhangquan +16 · 7 citations
Computer Science · Engineering · #Multimodal Machine Learning Applications #Spatial Cognition and Navigation #Constraint Satisfaction and Optimization
- One Life to Learn: Inferring Symbolic World Models for Stochastic Environments from Unguided Exploration
2025/10/14 by Zaid Khan, Khan, Zaid, Archiki Prasad +7 · 3 citations
Computer Science · Engineering · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Machine Learning (cs.LG) #Reservoir Engineering and Simulation Methods
- SpaceVista: All-Scale Visual Spatial Reasoning from mm to km
2025/10/10 by Peiwen Sun, Sun, Peiwen, Lang, Shiqiang +18 · 4 citations
Computer Science · Engineering · #Computer Vision and Pattern Recognition (cs.CV) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Multimodal Machine Learning Applications #Robotics and Sensor-Based Localization
- Meta-Memory: Retrieving and Integrating Semantic-Spatial Memories for Robot Spatial Reasoning
2025/09/25 by Y. J. Mao, Mao, Yufan, Hanjing Ye +7 · 1 citation
Computer Science · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Robotics (cs.RO) #Semantic Web and Ontologies
- GeoPQA: Bridging the Visual Perception Gap in MLLMs for Geometric Reasoning
2025/09/22 by Guizhen Chen, Chen, Guizhen, Weiwen Xu +11 · 5 citations
Computer Science · #Constraint Satisfaction and Optimization #Semantic Web and Ontologies #AI-based Problem Solving and Planning
- Turning Tabular Foundation Models into Graph Foundation Models
2025/08/28 by Dmitry Eremeev, Eremeev, Dmitry, Gleb Bazhenov +7 · 6 citations
Computer Science · #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Machine Learning (cs.LG) #Model-Driven Software Engineering Techniques #Semantic Web and Ontologies
- Multimodal Chain of Continuous Thought for Latent-Space Reasoning in Vision-Language Models
2025/08/18 by Tan-Hanh Pham, Pham, Tan-Hanh, Ngo, Chris · 3 citations
Computer Science · #Multimodal Machine Learning Applications #Semantic Web and Ontologies #Constraint Satisfaction and Optimization
- Bongard-RWR+: Real-World Representations of Fine-Grained Concepts in Bongard Problems
2025/08/16 by Szymon Pawlonka, Mikołaj Małkiński, Pawlonka, Szymon +3 · 2 citations
Computer Science · #Constraint Satisfaction and Optimization #Machine Learning and Data Classification #AI-based Problem Solving and Planning
- SE-Agent: Self-Evolution Trajectory Optimization in Multi-Step Reasoning with LLM-Based Agents
2025/08/04 by Jiaye Lin, Lin, Jiaye, Yifu Guo +24 · 15 citations
Computer Science · #Multimodal Machine Learning Applications #Constraint Satisfaction and Optimization #Topic Modeling
- RemoteReasoner: Towards Unifying Geospatial Reasoning Workflow
2025/07/25 by Yao, Liang, Liu Fan, Liu, Fan +12 · 6 citations
Computer Science · Engineering · #Multimodal Machine Learning Applications #Constraint Satisfaction and Optimization #Remote-Sensing Image Classification
- Beyond Context Limits: Subconscious Threads for Long-Horizon Reasoning
2025/07/22 by Hongyin Luo, N. Morgan, Luo, Hongyin +16 · 2 citations
Computer Science · #Constraint Satisfaction and Optimization #Topic Modeling #Parallel Computing and Optimization Techniques
- Inverse Scaling in Test-Time Compute
2025/07/19 by Aryo Pradipta Gema, Alexander Hägele, Gema, Aryo Pradipta +26 · 4 voices · 26 citations
Computer Science · #Explainable Artificial Intelligence (XAI) #Multimodal Machine Learning Applications #Constraint Satisfaction and Optimization
- MindJourney: Test-Time Scaling with World Models for Spatial Reasoning
2025/07/16 by Yang, Yuncong, Jiageng Liu, Z. X. Zhang +11 · 11 citations
Computer Science · #Constraint Satisfaction and Optimization #Semantic Web and Ontologies #Data Management and Algorithms
- Cutting Slack: Quantum Optimization with Slack-Free Methods for Combinatorial Benchmarks
2025/07/16 by Monit Sharma, Hoong Chuin Lau, Sharma, Monit +1 · 3 citations
Computer Science · #Complexity and Algorithms in Graphs #Constraint Satisfaction and Optimization #FOS: Physical sciences #Quantum Computing Algorithms and Architecture #Quantum Physics (quant-ph)
- OST-Bench: Evaluating the Capabilities of MLLMs in Online Spatio-temporal Scene Understanding
2025/07/10 by Jingli Lin, Lin, Jingli, Chenming Zhu +11 · 7 citations
Computer Science · #Computer Vision and Pattern Recognition (cs.CV) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Multimodal Machine Learning Applications #Topic Modeling
- A Neural Representation Framework with LLM-Driven Spatial Reasoning for Open-Vocabulary 3D Visual Grounding
2025/07/09 by Zhenyang Liu, Liu, Zhenyang, Sixiao Zheng +11 · 4 citations
Computer Science · Engineering · #Computer Vision and Pattern Recognition (cs.CV) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Multimodal Machine Learning Applications #Robotics (cs.RO) #Spatial Cognition and Navigation
- Controlling Thinking Speed in Reasoning Models
2025/07/04 by Zhengkai Lin, Zhihang Fu, Lin, Zhengkai +15 · 4 citations
Computer Science · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #Computation and Language (cs.CL) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences
- Tractable Graph Structures in EFX Orientation
2025/06/18 by Václav Blažej, Blažej, Václav, Sushmita Gupta +4 · 2 citations
Computer Science · Social Sciences · #Computer Science and Game Theory (cs.GT) #Constraint Satisfaction and Optimization #Data Management and Algorithms #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Geographic Information Systems Studies
- VGR: Visual Grounded Reasoning
2025/06/13 by Wang, Jiacong, Kang, Zijian, Wang, Haochen +14 · 20 citations
Computer Science · #Multimodal Machine Learning Applications #Constraint Satisfaction and Optimization #Video Analysis and Summarization
- Comment on The Illusion of Thinking: Understanding the Strengths and Limitations of Reasoning Models via the Lens of Problem Complexity
2025/06/10 by A. Lawsen, Lawsen, A. · 17 voices · 6 citations
Computer Science · #AI-based Problem Solving and Planning #Constraint Satisfaction and Optimization #Bayesian Modeling and Causal Inference
more