Imagen de Portada

Learning to Solve Abstract Reasoning Problems with Neurosymbolic Program Synthesis and Task Generation

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Bednarek, Jakub, Krawiec, Krzysztof
Formato:	Preprint
Publicado:	2024
Materias:	Artificial Intelligence Symbolic Computation
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Guiding Genetic Programming with Graph Neural Networks
por: Wyrwiński, Piotr, et al.
Publicado: (2024)

The Neurosymbolic Frontier of Nonuniform Ellipticity: Formalizing Sharp Schauder Theory via Topos-Theoretic Reasoning Models
por: Mishra, Suyash
Publicado: (2026)

SCALAR: A Neurosymbolic Framework for Automated Conjecture and Reasoning in Quantum Circuit Analysis
por: Feeney, Sean, et al.
Publicado: (2026)

A Complexity Map of Probabilistic Reasoning for Neurosymbolic Classification Techniques
por: Ledaguenel, Arthur, et al.
Publicado: (2024)

Towards Learning to Reason: Comparing LLMs with Neuro-Symbolic on Arithmetic Relations in Abstract Reasoning
por: Hersche, Michael, et al.
Publicado: (2024)

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning
por: Chen, Michael K.
Publicado: (2025)

AbstRaL: Augmenting LLMs' Reasoning by Reinforcing Abstract Thinking
por: Gao, Silin, et al.
Publicado: (2025)

A Synergistic Approach In Network Intrusion Detection By Neurosymbolic AI
por: Bizzarri, Alice, et al.
Publicado: (2024)

Choices and their Provenance: Explaining Stable Solutions of Abstract Argumentation Frameworks
por: Ludäscher, Bertram, et al.
Publicado: (2025)

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

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

Neurosymbolic LoRA: Why and When to Tune Weights vs. Rewrite Prompts
por: Wang, Kevin, et al.
Publicado: (2026)

Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned
por: Ariño-Morera, Belén, et al.
Publicado: (2024)

Simulating Petri nets with Boolean Matrix Logic Programming
por: Ai, Lun, et al.
Publicado: (2024)

A Qualitative Model to Reason about Object Rotations (QOR) applied to solve the Cube Comparison Test (CCT)
por: Falomir, Zoe
Publicado: (2026)

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

Learning Reward Machines in Cooperative Multi-Agent Tasks
por: Ardon, Leo, et al.
Publicado: (2023)

Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery
por: Hota, Amela, et al.
Publicado: (2024)

R1-Code-Interpreter: LLMs Reason with Code via Supervised and Multi-stage Reinforcement Learning
por: Chen, Yongchao, et al.
Publicado: (2025)

Towards Learning Abductive Reasoning using VSA Distributed Representations
por: Camposampiero, Giacomo, et al.
Publicado: (2024)

The Neural Compiler: Program-to-Network Translation for Hybrid Scientific Machine Learning
por: Sheneman, Lucas
Publicado: (2026)

VITA: Versatile Time Representation Learning for Temporal Hyper-Relational Knowledge Graphs
por: Un, ChongIn, et al.
Publicado: (2025)

Decoupling Representation and Learning in Genetic Programming: the LaSER Approach
por: Le, Nam H., et al.
Publicado: (2025)

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

Boolean Matrix Logic Programming on the GPU
por: Ai, Lun
Publicado: (2024)

Learning Abstract Visual Reasoning via Task Decomposition: A Case Study in Raven Progressive Matrices
por: Kwiatkowski, Jakub, et al.
Publicado: (2023)

KERAIA: An Adaptive and Explainable Framework for Dynamic Knowledge Representation and Reasoning
por: Varey, Stephen Richard, et al.
Publicado: (2025)

Synthesizing Evolving Symbolic Representations for Autonomous Systems
por: Sartor, Gabriele, et al.
Publicado: (2024)

A Probabilistic Framework for Hierarchical Goal Recognition
por: Zhang, Chenyuan, et al.
Publicado: (2026)

NL2CA: Auto-formalizing Cognitive Decision-Making from Natural Language Using an Unsupervised CriticNL2LTL Framework
por: Deng, Zihao, et al.
Publicado: (2025)

ABD: Default Exception Abduction in Finite First Order Worlds
por: Batzoglou, Serafim
Publicado: (2026)

Formal Verification of Neural Certificates Done Dynamically
por: Henzinger, Thomas A., et al.
Publicado: (2025)

On Explaining Proxy Discrimination and Unfairness in Individual Decisions Made by AI Systems
por: Sonna, Belona, et al.
Publicado: (2025)

NOMTO: Neural Operator-based symbolic Model approximaTion and discOvery
por: Garmaev, Sergei, et al.
Publicado: (2025)

To Be or Not To Be: Vector ontologies as a truly formal ontological framework
por: Rothenfusser, Kaspar
Publicado: (2025)

LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints
por: Xu, Weidi, et al.
Publicado: (2023)

Probabilistic Active Goal Recognition
por: Zhang, Chenyuan, et al.
Publicado: (2025)

Two Constraint Compilation Methods for Lifted Planning
por: Mantenoglou, Periklis, et al.
Publicado: (2025)

Improving Evaluation of Recombination-based Cartesian Genetic Programming
por: Tran, Duy Long, et al.
Publicado: (2026)

Adaptive Collaboration of Arena-Based Argumentative LLMs for Explainable and Contestable Legal Reasoning
por: Cao, Hoang-Loc, et al.
Publicado: (2026)