Imagen de Portada

On statistical learning of graphs

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Cipriani, Vittorio, Rose, Valentino Delle, Mauro, Luca San, Solda, Giovanni
Formato:	Preprint
Publicado:	2025
Materias:	Machine Learning Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Effective Littlestone Dimension
por: Rose, Valentino Delle, et al.
Publicado: (2024)

On the learning power of Friedman-Stanley jumps
por: Cipriani, Vittorio, et al.
Publicado: (2025)

Classifying different criteria for learning algebraic structures
por: Bazhenov, Nikolay, et al.
Publicado: (2024)

Embeddability of graphs and Weihrauch degrees
por: Cipriani, Vittorio, et al.
Publicado: (2023)

Limits of Deep Learning: Sequence Modeling through the Lens of Complexity Theory
por: Zubić, Nikola, et al.
Publicado: (2024)

Uniformity in learning structures
por: Cipriani, Vittorio, et al.
Publicado: (2025)

Sequential discontinuity and first-order problems
por: Pauly, Arno, et al.
Publicado: (2024)

Computable learning of natural hypothesis classes
por: Harrison-Trainor, Matthew, et al.
Publicado: (2024)

Generalized Higman's Theorem and iterated ideals
por: Pakhomov, Fedor, et al.
Publicado: (2025)

Computable universal online learning
por: Kalociński, Dariusz, et al.
Publicado: (2025)

Comparing Dialectical Systems: Contradiction and Counterexample in Belief Change (Extended Version)
por: Andrews, Uri, et al.
Publicado: (2025)

Complexity in finitary argumentation (extended version)
por: Andrews, Uri, et al.
Publicado: (2025)

Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games
por: Mannucci, Mirco A.
Publicado: (2025)

From learnable objects to learnable random objects
por: Anderson, Aaron, et al.
Publicado: (2025)

Programs as Singularities
por: Murfet, Daniel, et al.
Publicado: (2025)

How (and when) can you fit examples to logic-based hypothesis classes over infinite structures?
por: Benedikt, Michael, et al.
Publicado: (2026)

On Nash-Williams' Theorem regarding sequences with finite range
por: Pakhomov, Fedor, et al.
Publicado: (2024)

Remarks on a recent preprint of Chernikov and Towsner
por: Malliaris, Maryanthe
Publicado: (2025)

Unifying approach to uniform expressivity of graph neural networks
por: Luo, Huan, et al.
Publicado: (2026)

On the Complexity of the Grounded Semantics for Infinite Argumentation Frameworks
por: Andrews, Uri, et al.
Publicado: (2025)

Is uniform expressivity too restrictive? Towards efficient expressivity of graph neural networks
por: Khalife, Sammy, et al.
Publicado: (2024)

Paths, Ends and The Separation Problem for Infinite Graphs
por: Carrasco-Vargas, Nicanor, et al.
Publicado: (2024)

Symbolic Knowledge Extraction and Injection with Sub-symbolic Predictors: A Systematic Literature Review
por: Ciatto, Giovanni, et al.
Publicado: (2025)

The unstable formula theorem revisited via algorithms
por: Malliaris, Maryanthe, et al.
Publicado: (2022)

Agnostic Online Learning and Excellent Sets
por: Malliaris, Maryanthe, et al.
Publicado: (2021)

Analogues of the countable Borel equivalence relations in the setting of computable reducibility
por: Andrews, Uri, et al.
Publicado: (2024)

Dichotomy results for classes of countable graphs
por: Cipriani, Vittorio, et al.
Publicado: (2025)

Proof Minimization in Neural Network Verification
por: Isac, Omri, et al.
Publicado: (2025)

Space Explanations of Neural Network Classification
por: Labbaf, Faezeh, et al.
Publicado: (2025)

Formalized Hopfield Networks and Boltzmann Machines
por: Cipollina, Matteo, et al.
Publicado: (2025)

A General Framework for Property-Driven Machine Learning
por: Flinkow, Thomas, et al.
Publicado: (2025)

The analogy theorem in Hoare logic
por: Nikita, Nikitin
Publicado: (2025)

Lecture Notes on Verifying Graph Neural Networks
por: Schwarzentruber, François
Publicado: (2025)

Symbolic Snapshot Ensembles
por: Liu, Mingyue, et al.
Publicado: (2025)

PICID: Proof-Driven Clause Learning in Neural Network Verification
por: Isac, Omri, et al.
Publicado: (2025)

A First-Order Logic-Based Alternative to Reward Models in RLHF
por: Jian, Chunjin, et al.
Publicado: (2025)

Do LLMs Dream of Discrete Algorithms?
por: Coelho Jr, Claudionor, et al.
Publicado: (2025)

Scalable Interconnect Learning in Boolean Networks
por: Kresse, Fabian, et al.
Publicado: (2025)

Logic Gate Neural Networks are Good for Verification
por: Kresse, Fabian, et al.
Publicado: (2025)

Approximating Fixpoints of Approximated Functions
por: Baldan, Paolo, et al.
Publicado: (2025)