Imagen de Portada

Hologram Reasoning for Solving Algebra Problems with Geometry Diagrams

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Huang, Litian, Yu, Xinguo, Xiong, Feng, He, Bin, Tang, Shengbing, Fu, Jiawen
Formato:	Preprint
Publicado:	2024
Materias:	Artificial Intelligence Computational Geometry Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

A Theoretical Review on Solving Algebra Problems
por: Yu, Xinguo, et al.
Publicado: (2024)

Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
por: Liang, Zhenwen, et al.
Publicado: (2025)

Proceedings 14th International Conference on Automated Deduction in Geometry
por: Quaresma, Pedro, et al.
Publicado: (2024)

GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra
por: Kim, Curie, et al.
Publicado: (2026)

Can LLM Aid in Solving Constraints with Inductive Definitions?
por: Feng, Weizhi, et al.
Publicado: (2026)

Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving
por: Gonzalez, Salwa Tabet, et al.
Publicado: (2024)

Solving Decision Theory Problems with Probabilistic Answer Set Programming
por: Azzolini, Damiano, et al.
Publicado: (2024)

Do Multi-Agents Solve Better Than Single? Evaluating Agentic Frameworks for Diagram-Grounded Geometry Problem Solving and Reasoning
por: Sobhani, Mahbub E, et al.
Publicado: (2025)

The mechanization of science illustrated by the Lean formalization of the multi-graded Proj construction
por: Mayeux, Arnaud, et al.
Publicado: (2025)

Canonical Decision Diagrams Modulo Theories
por: Michelutti, Massimo, et al.
Publicado: (2024)

Solving the Two-dimensional single stock size Cutting Stock Problem with SAT and MaxSAT
por: Van Kieu, Tuyen, et al.
Publicado: (2026)

Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
por: Liu, Qi, et al.
Publicado: (2025)

Satisfiability Solving with LLMs: A Matched-Pair Evaluation of Reasoning Capability
por: Zhang, Leizhen, et al.
Publicado: (2026)

Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
por: Defresne, Marianne, et al.
Publicado: (2025)

Abductive Reasoning in a Paraconsistent Framework
por: Bienvenu, Meghyn, et al.
Publicado: (2024)

Orthologic for SAT Solving
por: de Haldat, Vladislas, et al.
Publicado: (2026)

Defining implication relation for classical logic
por: Fu, Li
Publicado: (2013)

Solving Formal Math Problems by Decomposition and Iterative Reflection
por: Zhou, Yichi, et al.
Publicado: (2025)

On Probabilistic and Causal Reasoning with Summation Operators
por: Ibeling, Duligur, et al.
Publicado: (2024)

Geometry of Reason: Spectral Signatures of Valid Mathematical Reasoning
por: Noël, Valentin
Publicado: (2026)

FALCON: Scalable Reasoning over Inconsistent ALC Ontologies
por: Hinnerichs, Tilman, et al.
Publicado: (2022)

Solving Hard Mizar Problems with Instantiation and Strategy Invention
por: Jakubův, Jan, et al.
Publicado: (2024)

Solving reachability problems on data-aware workflows
por: De Masellis, Riccardo, et al.
Publicado: (2019)

Power Term Polynomial Algebra for Boolean Logic
por: Sansone, Emanuele, et al.
Publicado: (2026)

Can Transformers Reason Logically? A Study in SAT Solving
por: Pan, Leyan, et al.
Publicado: (2024)

Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits
por: Li, Jinzhao, et al.
Publicado: (2025)

The Geometry of Reasoning: Flowing Logics in Representation Space
por: Zhou, Yufa, et al.
Publicado: (2025)

Solving Epistemic Logic Programs using Generate-and-Test with Propagation
por: Fandinno, Jorge, et al.
Publicado: (2024)

Progress in Formalizing Sphere Packing in Dimension 8
por: Hariharan, Sidharth, et al.
Publicado: (2026)

Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling
por: El-Kholany, Mohammed M. S., et al.
Publicado: (2022)

Synthetic Differential Geometry in Lean
por: Brasca, Riccardo, et al.
Publicado: (2026)

The Algebra of Meaning: Why Machines Need Montague More Than Moore's Law
por: Jeong, Cheonkam, et al.
Publicado: (2025)

Reasoning in Neurosymbolic AI
por: Tran, Son, et al.
Publicado: (2025)

Defeasible Reasoning on Concepts
por: Ding, Yiwen, et al.
Publicado: (2024)

ReasonOps: A Unified Operational Paradigm for Trustworthy Verified LLM Reasoning
por: Rashid, Adnan
Publicado: (2026)

Enhancing Analogical Reasoning in the Abstraction and Reasoning Corpus via Model-Based RL
por: Lee, Jihwan, et al.
Publicado: (2024)

An Undecidability Proof for the Plan Existence Problem
por: Achilleos, Antonis
Publicado: (2026)

The Topological Dual of a Dataset: A Logic-to-Topology Encoding for AlphaGeometry-Style Data
por: Bordg, Anthony
Publicado: (2026)

Extended Triangular Method: A Generalized Algorithm for Contradiction Separation Based Automated Deduction
por: Xu, Yang, et al.
Publicado: (2025)

Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees
por: Li, Jinzhao, et al.
Publicado: (2023)