:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Garmaev, Sergei, Mishra, Siddhartha, Fink, Olga
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence Symbolic Computation
Online-Zugang:	https://arxiv.org/abs/2501.08086
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The Neurosymbolic Frontier of Nonuniform Ellipticity: Formalizing Sharp Schauder Theory via Topos-Theoretic Reasoning Models
von: Mishra, Suyash
Veröffentlicht: (2026)

LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints
von: Xu, Weidi, et al.
Veröffentlicht: (2023)

Interactive Symbolic Regression through Offline Reinforcement Learning: A Co-Design Framework
von: Tian, Yuan, et al.
Veröffentlicht: (2025)

Physics-constrained symbolic regression for discovering closed-form equations of multimodal water retention curves from experimental data
von: Kim, Yejin, et al.
Veröffentlicht: (2026)

Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
von: Defresne, Marianne, et al.
Veröffentlicht: (2025)

Formal Verification of Neural Certificates Done Dynamically
von: Henzinger, Thomas A., et al.
Veröffentlicht: (2025)

Improving Neural-based Classification with Logical Background Knowledge
von: Ledaguenel, Arthur, et al.
Veröffentlicht: (2024)

ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark
von: Shalyt, Michael, et al.
Veröffentlicht: (2025)

ONSEP: A Novel Online Neural-Symbolic Framework for Event Prediction Based on Large Language Model
von: Yu, Xuanqing, et al.
Veröffentlicht: (2024)

Multi-Operational Mathematical Derivations in Latent Space
von: Valentino, Marco, et al.
Veröffentlicht: (2023)

A Qualitative Model to Reason about Object Rotations (QOR) applied to solve the Cube Comparison Test (CCT)
von: Falomir, Zoe
Veröffentlicht: (2026)

Auditable Unit-Aware Thresholds in Symbolic Regression via Logistic-Gated Operators
von: Deng, Ou, et al.
Veröffentlicht: (2025)

Neural Concept Binder
von: Stammer, Wolfgang, et al.
Veröffentlicht: (2024)

Incorporating Structure and Chord Constraints in Symbolic Transformer-based Melodic Harmonization
von: Kaliakatsos-Papakostas, Maximos, et al.
Veröffentlicht: (2025)

Breaking the Simplification Bottleneck in Amortized Neural Symbolic Regression
von: Saegert, Paul, et al.
Veröffentlicht: (2026)

Choices and their Provenance: Explaining Stable Solutions of Abstract Argumentation Frameworks
von: Ludäscher, Bertram, et al.
Veröffentlicht: (2025)

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

VITA: Versatile Time Representation Learning for Temporal Hyper-Relational Knowledge Graphs
von: Un, ChongIn, et al.
Veröffentlicht: (2025)

On Explaining Proxy Discrimination and Unfairness in Individual Decisions Made by AI Systems
von: Sonna, Belona, et al.
Veröffentlicht: (2025)

To Be or Not To Be: Vector ontologies as a truly formal ontological framework
von: Rothenfusser, Kaspar
Veröffentlicht: (2025)

Probabilistic Active Goal Recognition
von: Zhang, Chenyuan, et al.
Veröffentlicht: (2025)

Two Constraint Compilation Methods for Lifted Planning
von: Mantenoglou, Periklis, et al.
Veröffentlicht: (2025)

A Probabilistic Framework for Hierarchical Goal Recognition
von: Zhang, Chenyuan, et al.
Veröffentlicht: (2026)

ABD: Default Exception Abduction in Finite First Order Worlds
von: Batzoglou, Serafim
Veröffentlicht: (2026)

Simulating Petri nets with Boolean Matrix Logic Programming
von: Ai, Lun, et al.
Veröffentlicht: (2024)

Synthesizing Evolving Symbolic Representations for Autonomous Systems
von: Sartor, Gabriele, et al.
Veröffentlicht: (2024)

Learning to Solve Abstract Reasoning Problems with Neurosymbolic Program Synthesis and Task Generation
von: Bednarek, Jakub, et al.
Veröffentlicht: (2024)

The Neural Compiler: Program-to-Network Translation for Hybrid Scientific Machine Learning
von: Sheneman, Lucas
Veröffentlicht: (2026)

Combining Neural Networks and Symbolic Regression for Analytical Lyapunov Function Discovery
von: Feng, Jie, et al.
Veröffentlicht: (2024)

Large Language Models as Mirrors of Societal Moral Standards
von: Papadopoulou, Evi, et al.
Veröffentlicht: (2024)

Quantum Knowledge Graph: Modeling Context-Dependent Triplet Validity
von: Wang, Yao, et al.
Veröffentlicht: (2026)

GOFAI meets Generative AI: Development of Expert Systems by means of Large Language Models
von: Garrido-Merchán, Eduardo C., et al.
Veröffentlicht: (2025)

Cognitive LLMs: Towards Integrating Cognitive Architectures and Large Language Models for Manufacturing Decision-making
von: Wu, Siyu, et al.
Veröffentlicht: (2024)

VeriFlow: Modeling Distributions for Neural Network Verification
von: Zaid, Faried Abu, et al.
Veröffentlicht: (2024)

Improving Evaluation of Recombination-based Cartesian Genetic Programming
von: Tran, Duy Long, et al.
Veröffentlicht: (2026)

A general optimization solver based on OP-to-MaxSAT reduction
von: Zhao, Yuxin, et al.
Veröffentlicht: (2026)

Model Human Learners: Computational Models to Guide Instructional Design
von: MacLellan, Christopher J.
Veröffentlicht: (2025)

Graph-based data-driven discovery of interpretable laws governing corona-induced noise and radio interference for high-voltage transmission lines
von: Xu, Hao, et al.
Veröffentlicht: (2026)

Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases
von: Qureshi, Haya Majid, et al.
Veröffentlicht: (2025)

From Understanding the World to Intervening in It: A Unified Multi-Scale Framework for Embodied Cognition
von: Wang, Maijunxian
Veröffentlicht: (2025)