:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Zhang, Chenyuan, Cardenas, Cristian Rojas, Rezatofighi, Hamid, Vered, Mor, Say, Buser
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence Symbolic Computation
Accesso online:	https://arxiv.org/abs/2507.21846
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection
di: Curaba, Cristian, et al.
Pubblicazione: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Learning to Solve Abstract Reasoning Problems with Neurosymbolic Program Synthesis and Task Generation
di: Bednarek, Jakub, et al.
Pubblicazione: (2024)

Reasoning over the Behaviour of Objects in Video-Clips for Adverb-Type Recognition
di: Seshadri, Amrit Diggavi, et al.
Pubblicazione: (2023)

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

Active learning of digenic functions with boolean matrix logic programming
di: Ai, Lun, et al.
Pubblicazione: (2024)

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

Yin-Yang: Developing Motifs With Long-Term Structure And Controllability
di: Bhandari, Keshav, et al.
Pubblicazione: (2025)

Incorporating Structure and Chord Constraints in Symbolic Transformer-based Melodic Harmonization
di: Kaliakatsos-Papakostas, Maximos, et al.
Pubblicazione: (2025)

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

Scene-Driven Multimodal Knowledge Graph Construction for Embodied AI
di: Yaoxian, Song, et al.
Pubblicazione: (2023)

CASPER: Cognitive Architecture for Social Perception and Engagement in Robots
di: Vinanzi, Samuele, et al.
Pubblicazione: (2022)

Scheduling That Speaks: An Interpretable Programmatic Reinforcement Learning Framework
di: Hu, Chengpeng, et al.
Pubblicazione: (2026)

ArgMed-Agents: Explainable Clinical Decision Reasoning with LLM Disscusion via Argumentation Schemes
di: Hong, Shengxin, et al.
Pubblicazione: (2024)

Automated Loss function Search for Class-imbalanced Node Classification
di: Guo, Xinyu, et al.
Pubblicazione: (2024)

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

Multi-Operational Mathematical Derivations in Latent Space
di: Valentino, Marco, et al.
Pubblicazione: (2023)

ViSymRe: Vision Multimodal Symbolic Regression
di: Li, Da, et al.
Pubblicazione: (2024)

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

ConceptGuard: Neuro-Symbolic Safety Guardrails via Sparse Interpretable Jailbreak Concepts
di: Aswal, Darpan, et al.
Pubblicazione: (2025)

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

Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis
di: Sinha, Sania, et al.
Pubblicazione: (2025)

ELIZA Reanimated: The world's first chatbot restored on the world's first time sharing system
di: Lane, Rupert, et al.
Pubblicazione: (2025)

Speaking in Words, Thinking in Logic: A Dual-Process Framework in QA Systems
di: Bui, Tuan, et al.
Pubblicazione: (2025)

ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark
di: Shalyt, Michael, et al.
Pubblicazione: (2025)