Inverse-Free Wilson Loops for Transformers: A Practical Diagnostic for Invariance and Order Sensitivity
Fuente:
arXiv
Saved in:
| Main Authors: | Chang, Edward Y., Chang, Ethan Y. |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Argumentation and Machine Learning
by: Rago, Antonio, et al.
Published: (2024)
by: Rago, Antonio, et al.
Published: (2024)
Learning Rules Explaining Interactive Theorem Proving Tactic Prediction
by: Zhang, Liao, et al.
Published: (2024)
by: Zhang, Liao, et al.
Published: (2024)
Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions
by: Jaakkola, Reijo, et al.
Published: (2024)
by: Jaakkola, Reijo, et al.
Published: (2024)
$γ(3,4)$ `Attention' in Cognitive Agents: Ontology-Free Knowledge Representations With Promise Theoretic Semantics
by: Burgess, Mark
Published: (2025)
by: Burgess, Mark
Published: (2025)
Sutra: Tensor-Op RNNs as a Compilation Target for Vector Symbolic Architectures
by: Leonhart, Emma
Published: (2026)
by: Leonhart, Emma
Published: (2026)
Generative Fractional Diffusion Models
by: Nobis, Gabriel, et al.
Published: (2023)
by: Nobis, Gabriel, et al.
Published: (2023)
Goal-Driven Query Answering over First- and Second-Order Dependencies with Equality
by: Tsamoura, Efthymia, et al.
Published: (2024)
by: Tsamoura, Efthymia, et al.
Published: (2024)
Agent Semantics, Semantic Spacetime, and Graphical Reasoning
by: Burgess, Mark
Published: (2025)
by: Burgess, Mark
Published: (2025)
Interpretable classifiers for tabular data via discretization and feature selection
by: Jaakkola, Reijo, et al.
Published: (2024)
by: Jaakkola, Reijo, et al.
Published: (2024)
Logic interpretations of ANN partition cells
by: Schmitt, Ingo
Published: (2024)
by: Schmitt, Ingo
Published: (2024)
On the Power and Limitations of Examples for Description Logic Concepts
by: Cate, Balder ten, et al.
Published: (2024)
by: Cate, Balder ten, et al.
Published: (2024)
Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology
by: Jung, Jean Christoph, et al.
Published: (2023)
by: Jung, Jean Christoph, et al.
Published: (2023)
Multi-Agent Collaborative Intelligence: Dual-Dial Control for Reliable LLM Reasoning
by: Chang, Edward Y., et al.
Published: (2025)
by: Chang, Edward Y., 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)
by: Burgess, Mark
Published: (2025)
Structure Transfer: an Inference-Based Calculus for the Transformation of Representations
by: Raggi, Daniel, et al.
Published: (2025)
by: Raggi, Daniel, et al.
Published: (2025)
Uncovering Bugs in Formal Explainers: A Case Study with PyXAI
by: Huang, Xuanxiang, et al.
Published: (2025)
by: Huang, Xuanxiang, et al.
Published: (2025)
TPTP World Infrastructure for Non-classical Logics
by: Steen, Alexander, et al.
Published: (2025)
by: Steen, Alexander, et al.
Published: (2025)
On the Conditions for Domain Stability for Machine Learning: a Mathematical Approach
by: Pedroza, Gabriel
Published: (2024)
by: Pedroza, Gabriel
Published: (2024)
Modal Logics -- RNmatrices vs. Nmatrices
by: Coniglio, Marcelo E., et al.
Published: (2024)
by: Coniglio, Marcelo E., et al.
Published: (2024)
Robust Computation Tree Logic
by: Nayak, Satya Prakash, et al.
Published: (2022)
by: Nayak, Satya Prakash, et al.
Published: (2022)
On Angels and Demons: Strategic (De)Construction of Dynamic Models
by: Catta, Davide, et al.
Published: (2026)
by: Catta, Davide, et al.
Published: (2026)
A Sequent Calculus for General Inductive Definitions
by: Eede, Robbe Van den, et al.
Published: (2026)
by: Eede, Robbe Van den, et al.
Published: (2026)
Denotational Semantics for ODRL: Knowledge-Based Constraint Conflict Detection
by: Mustafa, Daham, et al.
Published: (2026)
by: Mustafa, Daham, et al.
Published: (2026)
A Coq-based Axiomatization of Tarski's Mereogeometry
by: Barlatier, Patrick, et al.
Published: (2025)
by: Barlatier, Patrick, et al.
Published: (2025)
Locality in Residuated-Lattice Structures
by: Carr, James
Published: (2025)
by: Carr, James
Published: (2025)
Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
by: Coniglio, M. E., et al.
Published: (2026)
by: Coniglio, M. E., et al.
Published: (2026)
LLM-FACETS: A Privacy-Preserving Framework for Evaluating LLM Transparency and Accountability
by: Lucas, Tom, et al.
Published: (2026)
by: Lucas, Tom, et al.
Published: (2026)
The Equivalence Theorem: First-Class Relationships for Structurally Complete Database Systems
by: Alford, Matthew
Published: (2026)
by: Alford, Matthew
Published: (2026)
Reasoning-Enhanced Rare-Event Prediction with Balanced Outcome Correction
by: Bulgakov, Vitaly, et al.
Published: (2026)
by: Bulgakov, Vitaly, et al.
Published: (2026)
Modeling Fairness in Recruitment AI via Information Flow
by: Brännström, Mattias, et al.
Published: (2025)
by: Brännström, Mattias, et al.
Published: (2025)
An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
by: Martina, Antoine, et al.
Published: (2023)
by: Martina, Antoine, et al.
Published: (2023)
I Would If I Could: Reasoning about Dynamics of Actions in Multi-Agent Systems
by: Galimullin, Rustam, et al.
Published: (2026)
by: Galimullin, Rustam, et al.
Published: (2026)
Exact Synthetic Populations for Scalable Societal and Market Modeling
by: Petit, Thierry, et al.
Published: (2025)
by: Petit, Thierry, et al.
Published: (2025)
Beyond Imperfect Alternatives with Rulemapping: A Neuro-Symbolic Case Study on Online Hate Speech
by: von Cossel, Oskar
Published: (2026)
by: von Cossel, Oskar
Published: (2026)
Verifiably Robust Conformal Prediction
by: Jeary, Linus, et al.
Published: (2024)
by: Jeary, Linus, et al.
Published: (2024)
IntSat: Integer Linear Programming by Conflict-Driven Constraint-Learning
by: Nieuwenhuis, Robert, et al.
Published: (2024)
by: Nieuwenhuis, Robert, et al.
Published: (2024)
Comparing State-Representations for DEL Model Checking
by: Behnke, Gregor, et al.
Published: (2025)
by: Behnke, Gregor, et al.
Published: (2025)
Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems
by: Galimullin, Rustam, et al.
Published: (2025)
by: Galimullin, Rustam, et al.
Published: (2025)
Knowledge Graph and Hypergraph Transformers with Repository-Attention and Journey-Based Role Transport
by: Godavarti, Mahesh
Published: (2026)
by: Godavarti, Mahesh
Published: (2026)
Intelligent Cloud Orchestration: A Hybrid Predictive and Heuristic Framework for Cost Optimization
by: Nagoriya, Heet, et al.
Published: (2026)
by: Nagoriya, Heet, et al.
Published: (2026)
Similar Items
-
Argumentation and Machine Learning
by: Rago, Antonio, et al.
Published: (2024) -
Learning Rules Explaining Interactive Theorem Proving Tactic Prediction
by: Zhang, Liao, et al.
Published: (2024) -
Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions
by: Jaakkola, Reijo, et al.
Published: (2024) -
$γ(3,4)$ `Attention' in Cognitive Agents: Ontology-Free Knowledge Representations With Promise Theoretic Semantics
by: Burgess, Mark
Published: (2025) -
Sutra: Tensor-Op RNNs as a Compilation Target for Vector Symbolic Architectures
by: Leonhart, Emma
Published: (2026)