Copertina

A Theoretical Review on Solving Algebra Problems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Yu, Xinguo, Cheng, Weina, Yang, Chuanzhi, Zhang, Ting
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science Artificial Intelligence Symbolic Computation
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

A general optimization solver based on OP-to-MaxSAT reduction
di: Zhao, Yuxin, et al.
Pubblicazione: (2026)

A Hybrid SMT-NRA Solver: Integrating 2D Cell-Jump-Based Local Search, MCSAT and OpenCAD
di: Ding, Tianyi, et al.
Pubblicazione: (2025)

Boolean Matrix Logic Programming on the GPU
di: Ai, Lun
Pubblicazione: (2024)

Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report
di: Kaminski, Roland, et al.
Pubblicazione: (2024)

Integrating Fuzzy Logic into Deep Symbolic Regression
di: Gerdes, Wout, et al.
Pubblicazione: (2024)

Automatic Generation of Polynomial Symmetry Breaking Constraints
di: Erascu, Madalina, et al.
Pubblicazione: (2026)

Agent Hunt: Bounty Based Collaborative Autoformalization With LLM Agents
di: Brown, Chad E., et al.
Pubblicazione: (2026)

Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases
di: Qureshi, Haya Majid, et al.
Pubblicazione: (2025)

130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone?
di: Urban, Josef
Pubblicazione: (2026)

Solving unification in the description logic $\mathcal{FL}_\bot$
di: Morawska, Barbara, et al.
Pubblicazione: (2024)

The Scaling Properties of Implicit Deductive Reasoning in Transformers
di: Vompa, Enrico, et al.
Pubblicazione: (2026)

Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning
di: Luo, Ziyan, et al.
Pubblicazione: (2023)

Logic Sketch Prompting (LSP): A Deterministic and Interpretable Prompting Method
di: Tripathi, Satvik
Pubblicazione: (2025)

Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
di: Orvalho, Pedro, et al.
Pubblicazione: (2025)

Reasoning About Action and Change
di: de Saint-Cyr, Florence Dupin, et al.
Pubblicazione: (2024)

VeriFlow: Modeling Distributions for Neural Network Verification
di: Zaid, Faried Abu, et al.
Pubblicazione: (2024)

Algebraic anti-unification
di: Antić, Christian
Pubblicazione: (2024)

Analogical proportions
di: Antić, Christian
Pubblicazione: (2020)

Sea-cret Agents: Maritime Abduction for Region Generation to Expose Dark Vessel Trajectories
di: Bavikadi, Divyagna, et al.
Pubblicazione: (2025)

Executable Archaeology: Reanimating the Logic Theorist from its IPL-V Source
di: Shrager, Jeff
Pubblicazione: (2026)

Hologram Reasoning for Solving Algebra Problems with Geometry Diagrams
di: Huang, Litian, et al.
Pubblicazione: (2024)

When both Grounding and not Grounding are Bad -- A Partially Grounded Encoding of Planning into SAT (Extended Version)
di: Filipe, João, et al.
Pubblicazione: (2026)

Solving Stochastic Constraints by Oracle-based Gradient Descent and Interval Arithmetic
di: Li, Xiakun, et al.
Pubblicazione: (2026)

Verified Certificates via SAT and Computer Algebra Systems for the Ramsey $R(3, 8)$ and $R(3, 9)$ Problems
di: Li, Zhengyu, et al.
Pubblicazione: (2025)

A Local Search Algorithm for MaxSMT(LIA)
di: He, Xiang, et al.
Pubblicazione: (2024)

AGEL-Comp: A Neuro-Symbolic Framework for Compositional Generalization in Interactive Agents
di: Shahid, Mahnoor, et al.
Pubblicazione: (2026)

Union of Finitely Generated Congruences on Ground Term Algebra
di: Vágvölgyi, Sándor
Pubblicazione: (2024)

Learning Guided Automated Reasoning: A Brief Survey
di: Blaauwbroek, Lasse, et al.
Pubblicazione: (2024)

Rings with common division, common meadows and their conditional equational theories
di: Bergstra, Jan A, et al.
Pubblicazione: (2024)

Improving NLSAT for Nonlinear Real Arithmetic
di: Wang, Zhonghan
Pubblicazione: (2024)

Saturating Sorting without Sorts
di: Georgiou, Pamina, et al.
Pubblicazione: (2024)

OSVAuto: automatic proofs about functional specifications in OS verification
di: Wu, Yulun, et al.
Pubblicazione: (2024)

Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs
di: Kaufmann, Daniela, et al.
Pubblicazione: (2024)

Exhaustive Symbolic Integration: Integration by Differentiation and the Landscape of Symbolic Integrability
di: Desmond, Harry
Pubblicazione: (2026)

One-Parametric Presburger Arithmetic has Quantifier Elimination
di: Mansutti, Alessio, et al.
Pubblicazione: (2025)

Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications
di: Kop, Cynthia, et al.
Pubblicazione: (2025)

Formal Verification of Parameterized Systems based on Induction
di: Xiu, Jiaqi, et al.
Pubblicazione: (2025)