:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Godavarti, Mahesh
Format:	Preprint
Published:	2025
Subjects:	Machine Learning Artificial Intelligence 20-XX, 08A02 F.4.1; I.2
Online Access:	https://arxiv.org/abs/2506.08652
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Knowledge Graph and Hypergraph Transformers with Repository-Attention and Journey-Based Role Transport
by: Godavarti, Mahesh
Published: (2026)

Directional Non-Commutative Monoidal Structures with Interchange Law via Commutative Generators
by: Godavarti, Mahesh
Published: (2025)

Directional Non-Commutative Monoidal Embeddings for MNIST
by: Godavarti, Mahesh
Published: (2025)

Directional Non-Commutative Monoidal Structures for Compositional Embeddings in Machine Learning
by: Godavarti, Mahesh
Published: (2025)

Expressive Power of Graph Transformers via Logic
by: Ahvonen, Veeti, et al.
Published: (2025)

On the Conditions for Domain Stability for Machine Learning: a Mathematical Approach
by: Pedroza, Gabriel
Published: (2024)

Cross-Attention and Encoder-Decoder Transformers: A Logical Characterization
by: Ahvonen, Veeti, et al.
Published: (2026)

The Luna Bound Propagator for Formal Analysis of Neural Networks
by: LeCates, Henry, et al.
Published: (2026)

Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats
by: Ahvonen, Veeti, et al.
Published: (2024)

Graph neural networks and MSO
by: Ahvonen, Veeti, et al.
Published: (2025)

On The Role of Intentionality in Knowledge Representation: Analyzing Scene Context for Cognitive Agents with a Tiny Language Model
by: Burgess, Mark
Published: (2025)

Argumentation and Machine Learning
by: Rago, Antonio, et al.
Published: (2024)

Inverse-Free Wilson Loops for Transformers: A Practical Diagnostic for Invariance and Order Sensitivity
by: Chang, Edward Y., et al.
Published: (2025)

IntSat: Integer Linear Programming by Conflict-Driven Constraint-Learning
by: Nieuwenhuis, Robert, et al.
Published: (2024)

A challenge in A(G)I, cybernetics revived in the Ouroboros Model as one algorithm for all thinking
by: Thomsen, Knud
Published: (2024)

Strategies to Counter Artificial Intelligence in Law Enforcement: Cross-Country Comparison of Citizens in Greece, Italy and Spain
by: Bayerl, Petra Saskia, et al.
Published: (2024)

AI-Oracle Machines for Intelligent Computing
by: Wang, Jie
Published: (2024)

STOPA: A Database of Systematic VariaTion Of DeePfake Audio for Open-Set Source Tracing and Attribution
by: Firc, Anton, et al.
Published: (2025)

Logic interpretations of ANN partition cells
by: Schmitt, Ingo
Published: (2024)

$γ(3,4)$ `Attention' in Cognitive Agents: Ontology-Free Knowledge Representations With Promise Theoretic Semantics
by: Burgess, Mark
Published: (2025)

Uncovering Bugs in Formal Explainers: A Case Study with PyXAI
by: Huang, Xuanxiang, et al.
Published: (2025)

Function Alignment: A New Theory of Mind and Intelligence, Part I: Foundations
by: Xia, Gus G.
Published: (2025)

We Need a New Ethics for a World of AI Agents
by: Gabriel, Iason, et al.
Published: (2025)

The Post-Turing Condition: Conceptualising Artificial Subjectivity and Synthetic Sociality
by: Jelinek, Thorsten, et al.
Published: (2026)

Meek Models Shall Inherit the Earth
by: Gundlach, Hans, et al.
Published: (2025)

The AI Ethical Resonance Hypothesis: The Possibility of Discovering Moral Meta-Patterns in AI Systems
by: Zgliczyński-Cuber, Tomasz
Published: (2025)

Guarding against artificial intelligence--hallucinated citations: the case for full-text reference deposit
by: Glynn, Alex
Published: (2025)

AI Agents and Hard Choices
by: Wang, Kangyu
Published: (2025)

African Democracy in the Era of Generative Disinformation: Challenges and Countermeasures against AI-Generated Propaganda
by: Okolo, Chinasa T.
Published: (2024)

Moral Responsibility or Obedience: What Do We Want from AI?
by: Boland, Joseph
Published: (2025)

Goal-Driven Query Answering over First- and Second-Order Dependencies with Equality
by: Tsamoura, Efthymia, et al.
Published: (2024)

Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology
by: Jung, Jean Christoph, et al.
Published: (2023)

Oruga: An Avatar of Representational Systems Theory
by: Raggi, Daniel, et al.
Published: (2025)

Understanding Syllogistic Reasoning in LLMs from Formal and Natural Language Perspectives
by: Poddar, Aheli, et al.
Published: (2025)

Automated Theorem Provers Help Improve Large Language Model Reasoning
by: McGinness, Lachlan, et al.
Published: (2024)

Engineering Trustworthy AI: A Developer Guide for Empirical Risk Minimization
by: Pfau, Diana, et al.
Published: (2024)

ADD for Multi-Bit Image Watermarking
by: Luo, An, et al.
Published: (2026)

Experiments with Choice in Dependently-Typed Higher-Order Logic
by: Ranalter, Daniel, et al.
Published: (2024)

Deontic Temporal Logic for Formal Verification of AI Ethics
by: V., Priya T., et al.
Published: (2025)

T-CPDL: A Temporal Causal Probabilistic Description Logic for Developing Logic-RAG Agent
by: Yu, Hong Qing
Published: (2025)