Buchumschlag

Graph Neural Networks and Arithmetic Circuits

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Barlag, Timon, Holzapfel, Vivian, Strieker, Laura, Virtema, Jonni, Vollmer, Heribert
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Machine Learning Artificial Intelligence Computational Complexity F.1.1; F.1.3; I.2.m
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Recurrent Graph Neural Networks and Arithmetic Circuits
von: Barlag, Timon, et al.
Veröffentlicht: (2026)

Average Attention Transformers and Arithmetic Circuits
von: Ehrmuth, Lena, et al.
Veröffentlicht: (2026)

Explicit Commutative ROABPs from Partial Derivatives
von: Bhargava, Vishwas, et al.
Veröffentlicht: (2024)

Reachability with Restricted Reactions in Inhibitory Chemical Reaction Networks
von: Bajaj, Divya, et al.
Veröffentlicht: (2026)

Catalytic Computing and Register Programs Beyond Log-Depth
von: Alekseev, Yaroslav, et al.
Veröffentlicht: (2025)

A point to set principle for finite-state dimension
von: Mayordomo, Elvira
Veröffentlicht: (2022)

Supercritical Tradeoffs for Monotone Circuits
von: Göös, Mika, et al.
Veröffentlicht: (2024)

On the Complexity of Neural Computation in Superposition
von: Adler, Micah, et al.
Veröffentlicht: (2024)

Does GPT Really Get It? A Hierarchical Scale to Quantify Human vs AI's Understanding of Algorithms
von: Reid, Mirabel, et al.
Veröffentlicht: (2024)

Imperative process algebra and models of computation
von: Middelburg, C. A.
Veröffentlicht: (2022)

Graph Colouring Is Hard on Average for Polynomial Calculus and Nullstellensatz
von: Conneryd, Jonas, et al.
Veröffentlicht: (2025)

On the Counting Complexity of the Skolem Problem
von: Jindal, Gorav, et al.
Veröffentlicht: (2024)

Symmetric Arithmetic Circuits
von: Dawar, Anuj, et al.
Veröffentlicht: (2020)

Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs
von: de Rezende, Susanna F., et al.
Veröffentlicht: (2019)

Tight bounds on depth-2 QAC-circuits computing parity
von: Fenner, Stephen, et al.
Veröffentlicht: (2025)

On bounded depth proofs for Tseitin formulas on the grid; revisited
von: Håstad, Johan, et al.
Veröffentlicht: (2022)

Superpolynomial Length Lower Bounds for Tree-Like Semantic Proof Systems with Bounded Line Size
von: de Rezende, Susanna F., et al.
Veröffentlicht: (2026)

Clique Is Hard on Average for Sherali-Adams with Bounded Coefficients
von: de Rezende, Susanna F., et al.
Veröffentlicht: (2024)

On the Complexity of the Conditional Independence Implication Problem With Bounded Cardinalities
von: Makowski, Michał
Veröffentlicht: (2024)

Complexity Classes Arising from Circuits over Finite Algebraic Structures
von: Kawałek, Piotr, et al.
Veröffentlicht: (2026)

Problems from Optimization and Computational Algebra Equivalent to Hilbert's Nullstellensatz
von: Bläser, Markus, et al.
Veröffentlicht: (2025)

Towards New Characterizations of Small Circuit Classes via Discrete Ordinary Differential Equations
von: Antonelli, Melissa, et al.
Veröffentlicht: (2025)

Realizable Circuit Complexity: Embedding Computation in Space-Time
von: Prada, Benjamin, et al.
Veröffentlicht: (2025)

Regular Model Checking for Systems with Effectively Regular Reachability Relation
von: Esparza, Javier, et al.
Veröffentlicht: (2025)

Arithmetic Complexity of Solutions of the Dirichlet Problem
von: Boche, Holger, et al.
Veröffentlicht: (2026)

Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats
von: Ahvonen, Veeti, et al.
Veröffentlicht: (2024)

Stochastic well-structured transition systems
von: Aspnes, James
Veröffentlicht: (2025)

Functional Closure Properties of Finite $\mathbb{N}$-weighted Automata
von: Dörfler, Julian, et al.
Veröffentlicht: (2024)

$\rm P$ has polynomial-time finite-state verifiers
von: Gezer, M. Utkan, et al.
Veröffentlicht: (2023)

The Serial Scaling Hypothesis
von: Liu, Yuxi, et al.
Veröffentlicht: (2025)

Transitions in Dynamic Point Labeling
von: Depian, Thomas, et al.
Veröffentlicht: (2022)

Graph-Based Deterministic Polynomial Framwork for NP Problems
von: Lee, Changryeol
Veröffentlicht: (2025)

L is different from NP
von: Montoya, J. Andres
Veröffentlicht: (2024)

Separation Results for Constant-Depth and Multilinear Ideal Proof Systems
von: Behera, Amik Raj, et al.
Veröffentlicht: (2026)

Completing the Complexity Classification of 2-Solo Chess: Knights and Kings are Hard
von: Kühn, Kolja, et al.
Veröffentlicht: (2026)

Gaps, Ambiguity, and Establishing Complexity-Class Containments via Iterative Constant-Setting
von: Hemaspaandra, Lane A., et al.
Veröffentlicht: (2021)

Disjunctive Complexity
von: Ivanov, Nikita, et al.
Veröffentlicht: (2025)

Hausdorff Reductions and the Exponential Hierarchies
von: Malizia, Enrico
Veröffentlicht: (2024)

Understanding Robust Catalytic Computing
von: Koucký, Michal, et al.
Veröffentlicht: (2026)

Search versus Search for Collapsing Electoral Control Types
von: Carleton, Benjamin, et al.
Veröffentlicht: (2022)