:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Un, ChongIn, Lu, Yuhuan, Yang, Tianyue, Yang, Dingqi
Format:	Preprint
Publié:	2025
Sujets:	Artificial Intelligence Symbolic Computation
Accès en ligne:	https://arxiv.org/abs/2505.11803
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

THOR: Inductive Link Prediction over Hyper-Relational Knowledge Graphs
par: Yu, Weijian, et autres
Publié: (2026)

Scene-Driven Multimodal Knowledge Graph Construction for Embodied AI
par: Yaoxian, Song, et autres
Publié: (2023)

Quantum Knowledge Graph: Modeling Context-Dependent Triplet Validity
par: Wang, Yao, et autres
Publié: (2026)

KERAIA: An Adaptive and Explainable Framework for Dynamic Knowledge Representation and Reasoning
par: Varey, Stephen Richard, et autres
Publié: (2025)

Synthesizing Evolving Symbolic Representations for Autonomous Systems
par: Sartor, Gabriele, et autres
Publié: (2024)

Towards Learning Abductive Reasoning using VSA Distributed Representations
par: Camposampiero, Giacomo, et autres
Publié: (2024)

APEX$^2$: Adaptive and Extreme Summarization for Personalized Knowledge Graphs
par: Li, Zihao, et autres
Publié: (2024)

Decoupling Representation and Learning in Genetic Programming: the LaSER Approach
par: Le, Nam H., et autres
Publié: (2025)

Towards Learning to Reason: Comparing LLMs with Neuro-Symbolic on Arithmetic Relations in Abstract Reasoning
par: Hersche, Michael, et autres
Publié: (2024)

Learning to Solve Abstract Reasoning Problems with Neurosymbolic Program Synthesis and Task Generation
par: Bednarek, Jakub, et autres
Publié: (2024)

R1-Code-Interpreter: LLMs Reason with Code via Supervised and Multi-stage Reinforcement Learning
par: Chen, Yongchao, et autres
Publié: (2025)

Generalized Holographic Reduced Representations
par: Yeung, Calvin, et autres
Publié: (2024)

Improving Neural-based Classification with Logical Background Knowledge
par: Ledaguenel, Arthur, et autres
Publié: (2024)

Evolving Scientific Discovery by Unifying Data and Background Knowledge with AI Hilbert
par: Cory-Wright, Ryan, et autres
Publié: (2023)

Ontology-Guided Neuro-Symbolic Inference: Grounding Language Models with Mathematical Domain Knowledge
par: Labre, Marcelo
Publié: (2026)

Choices and their Provenance: Explaining Stable Solutions of Abstract Argumentation Frameworks
par: Ludäscher, Bertram, et autres
Publié: (2025)

NL2CA: Auto-formalizing Cognitive Decision-Making from Natural Language Using an Unsupervised CriticNL2LTL Framework
par: Deng, Zihao, et autres
Publié: (2025)

Formal Verification of Neural Certificates Done Dynamically
par: Henzinger, Thomas A., et autres
Publié: (2025)

On Explaining Proxy Discrimination and Unfairness in Individual Decisions Made by AI Systems
par: Sonna, Belona, et autres
Publié: (2025)

NOMTO: Neural Operator-based symbolic Model approximaTion and discOvery
par: Garmaev, Sergei, et autres
Publié: (2025)

To Be or Not To Be: Vector ontologies as a truly formal ontological framework
par: Rothenfusser, Kaspar
Publié: (2025)

Probabilistic Active Goal Recognition
par: Zhang, Chenyuan, et autres
Publié: (2025)

Two Constraint Compilation Methods for Lifted Planning
par: Mantenoglou, Periklis, et autres
Publié: (2025)

A Probabilistic Framework for Hierarchical Goal Recognition
par: Zhang, Chenyuan, et autres
Publié: (2026)

ABD: Default Exception Abduction in Finite First Order Worlds
par: Batzoglou, Serafim
Publié: (2026)

Simulating Petri nets with Boolean Matrix Logic Programming
par: Ai, Lun, et autres
Publié: (2024)

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

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

LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints
par: Xu, Weidi, et autres
Publié: (2023)

EGG-SR: Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph
par: Jiang, Nan, et autres
Publié: (2025)

Bridging the Gap Between Scientific Laws Derived by AI Systems and Canonical Knowledge via Abductive Inference with AI-Noether
par: Srivastava, Karan, et autres
Publié: (2025)

Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases
par: Qureshi, Haya Majid, et autres
Publié: (2025)

Symbolic Foundation Regressor on Complex Networks
par: Liu, Weiting, et autres
Publié: (2025)

Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned
par: Ariño-Morera, Belén, et autres
Publié: (2024)

Simulation to Rules: A Dual-VLM Framework for Formal Visual Planning
par: Hao, Yilun, et autres
Publié: (2025)

A Theoretical Review on Solving Algebra Problems
par: Yu, Xinguo, et autres
Publié: (2024)

Graph-based data-driven discovery of interpretable laws governing corona-induced noise and radio interference for high-voltage transmission lines
par: Xu, Hao, et autres
Publié: (2026)

Learning Interpretable Network Dynamics via Universal Neural Symbolic Regression
par: Hu, Jiao, et autres
Publié: (2024)

Scheduling That Speaks: An Interpretable Programmatic Reinforcement Learning Framework
par: Hu, Chengpeng, et autres
Publié: (2026)

Learning Reward Machines in Cooperative Multi-Agent Tasks
par: Ardon, Leo, et autres
Publié: (2023)