Buchumschlag

Deep Learning with Parametric Lenses

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Cruttwell, Geoffrey S. H., Gavranovic, Bruno, Ghani, Neil, Wilson, Paul, Zanasi, Fabio
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Machine Learning Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Fibrational Theory of First Order Differential Structures
von: Capucci, Matteo, et al.
Veröffentlicht: (2024)

Learning Closed Signal Flow Graphs
von: Piotrovskaya, Ekaterina, et al.
Veröffentlicht: (2024)

Approaching the Continuous from the Discrete: an Infinite Tensor Product Construction
von: Lorenzin, Antonio, et al.
Veröffentlicht: (2025)

Graded String Diagrams for Imprecise Probability and Causal Intervention
von: Sarkis, Ralph, et al.
Veröffentlicht: (2025)

A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs
von: Perez, Mateo, et al.
Veröffentlicht: (2023)

On Improving Deep Active Learning with Formal Verification
von: Spiegelman, Jonathan, et al.
Veröffentlicht: (2025)

Verifying the Generalization of Deep Learning to Out-of-Distribution Domains
von: Amir, Guy, et al.
Veröffentlicht: (2024)

Infectious Disease Forecasting in India using LLM's and Deep Learning
von: Shah, Chaitya, et al.
Veröffentlicht: (2024)

Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games
von: Mannucci, Mirco A.
Veröffentlicht: (2025)

A Category Theoretic Approach to Approximate Game Theory
von: Ghani, Neil
Veröffentlicht: (2025)

Complete Diagrammatic Axiomatisations of Relative Entropy
von: Sarkis, Ralph, et al.
Veröffentlicht: (2026)

Bayesian Networks, Markov Networks, Moralisation, Triangulation: a Categorical Perspective
von: Lorenzin, Antonio, et al.
Veröffentlicht: (2025)

String Diagrams for $λ$-calculi and Functional Computation
von: Ghica, Dan, et al.
Veröffentlicht: (2023)

An Algebraic Approach to Moralisation and Triangulation of Probabilistic Graphical Models
von: Lorenzin, Antonio, et al.
Veröffentlicht: (2025)

Scalable Interconnect Learning in Boolean Networks
von: Kresse, Fabian, et al.
Veröffentlicht: (2025)

Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure
von: Milosavljevic, Aleksandar, et al.
Veröffentlicht: (2022)

A Complete Diagrammatic Calculus for Conditional Gaussian Mixtures
von: Torres-Ruiz, Mateo, et al.
Veröffentlicht: (2025)

Limits of Deep Learning: Sequence Modeling through the Lens of Complexity Theory
von: Zubić, Nikola, et al.
Veröffentlicht: (2024)

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

From learnable objects to learnable random objects
von: Anderson, Aaron, et al.
Veröffentlicht: (2025)

Programs as Singularities
von: Murfet, Daniel, et al.
Veröffentlicht: (2025)

A Categorical Approach to DIBI Models
von: Gu, Tao, et al.
Veröffentlicht: (2024)

Bisimulation Learning
von: Abate, Alessandro, et al.
Veröffentlicht: (2024)

Output-decomposed Learning of Mealy Machines
von: Koenders, Rick, et al.
Veröffentlicht: (2024)

Layered Monoidal Theories I: Diagrammatic Algebra and Applications
von: Lobski, Leo, et al.
Veröffentlicht: (2026)

Null Measurability at the Symmetrization Interface in VC Learning
von: Gupta, Dhruv
Veröffentlicht: (2026)

Error-awareness Accelerates Active Automata Learning
von: Kruger, Loes, et al.
Veröffentlicht: (2026)

Progressive Safeguards for Safe and Model-Agnostic Reinforcement Learning
von: Omi, Nabil, et al.
Veröffentlicht: (2024)

Learning logic programs by finding minimal unsatisfiable subprograms
von: Cropper, Andrew, et al.
Veröffentlicht: (2024)

A General Framework for Property-Driven Machine Learning
von: Flinkow, Thomas, et al.
Veröffentlicht: (2025)

Learning Representations Through Contrastive Neural Model Checking
von: Krsmanovic, Vladimir, et al.
Veröffentlicht: (2025)

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
von: Flinkow, Thomas, et al.
Veröffentlicht: (2026)

Learning Better Representations From Less Data For Propositional Satisfiability
von: Ghanem, Mohamed, et al.
Veröffentlicht: (2024)

State Matching and Multiple References in Adaptive Active Automata Learning
von: Kruger, Loes, et al.
Veröffentlicht: (2024)

PICID: Proof-Driven Clause Learning in Neural Network Verification
von: Isac, Omri, et al.
Veröffentlicht: (2025)

Skill Machines: Temporal Logic Skill Composition in Reinforcement Learning
von: Tasse, Geraud Nangue, et al.
Veröffentlicht: (2022)

Value Function Initialization for Knowledge Transfer and Jump-start in Deep Reinforcement Learning
von: Mehimeh, Soumia
Veröffentlicht: (2025)

Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams
von: Lobbia, Gabriele, et al.
Veröffentlicht: (2024)

Counterexample-Guided Repair of Reinforcement Learning Systems Using Safety Critics
von: Boetius, David, et al.
Veröffentlicht: (2024)

Generalizing Logic-based Explanations for Machine Learning Classifiers via Optimization
von: Filho, Francisco Mateus Rocha, et al.
Veröffentlicht: (2026)