Research map / Vision-language and multimodal / Multimodal LLMs
Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable
Read the paperCheck your idea against 108,967 papers
AI-extracted summary. Written by AI from the paper's title only (no summary yet). Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.
Measured effects reported in the paper
| What was changed | Where | Measured | Effect |
|---|---|---|---|
| Use real quantifier elimination tools (Redlog, QEPCAD B) to check satisfiability of an LNF formula over 2D Euclidean space | LNF satisfiability checking · Simple LNF formula with 3 names | feasibility / runtime: more than 10 minutes | Hurt |
Closest papers by meaning
- Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning (CVPR 2026 · similarity 0.83)
- Geoint-R1: Formalizing Multimodal Geometric Reasoning with Dynamic Auxiliary Constructions (CVPR 2026 · similarity 0.82)
- SolidGeo: Measuring Multimodal Spatial Math Reasoning in Solid Geometry (NeurIPS 2025 · similarity 0.82)
- Geometrically-Constrained Agent for Spatial Reasoning (CVPR 2026 · similarity 0.81)
- Dynamic Tangled Derivative Logic of Metric Spaces (AAAI 2024 · similarity 0.81)
- OmniSpatial: Towards Comprehensive Spatial Reasoning Benchmark for Vision Language Models (ICLR 2026 · similarity 0.80)
Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.