Imagen de Portada

Approximating Fixpoints of Approximated Functions

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Baldan, Paolo, Gurke, Sebastian, König, Barbara, Padoan, Tommaso, Wittbold, Florian
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science Machine Learning
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games
por: Baldan, Paolo, et al.
Publicado: (2026)

Fixpoint Theory -- Upside Down
por: Baldan, Paolo, et al.
Publicado: (2021)

A Monoidal View on Fixpoint Checks
por: Baldan, Paolo, et al.
Publicado: (2023)

Approximation Fixpoint Theory with Refined Approximation Spaces
por: Vanbesien, Linde, et al.
Publicado: (2025)

Witnesses for Fixpoint Games on Lattices
por: König, Barbara, et al.
Publicado: (2026)

A Category-Theoretic Perspective on Approximation Fixpoint Theory
por: Pollaci, Samuele
Publicado: (2025)

A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory
por: Pollaci, Samuele, et al.
Publicado: (2024)

Coalgebraic Behavioral Metrics
por: Baldan, Paolo, et al.
Publicado: (2017)

Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics (Extended Version)
por: Kettmann, Pascal, et al.
Publicado: (2025)

Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
por: Kettmann, Pascal, et al.
Publicado: (2026)

Characterizing the Exponential-Space Hierarchy Via Partial Fixpoints
por: Bruse, Florian, et al.
Publicado: (2025)

Operations on Fixpoint Equation Systems
por: Neele, Thomas, et al.
Publicado: (2023)

Floating-Point Neural Networks Are Provably Robust Universal Approximators
por: Hwang, Geonho, et al.
Publicado: (2025)

Provable Preimage Under-Approximation for Neural Networks (Full Version)
por: Zhang, Xiyue, et al.
Publicado: (2023)

Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach
por: Beohar, Harsh, et al.
Publicado: (2023)

Approximating Pareto Frontiers in Stochastic Multi-Objective Optimization via Hashing and Randomization
por: Li, Jinzhao, et al.
Publicado: (2026)

A Categorical Approach to Coalgebraic Fixpoint Logic
por: Schoen, Ezra, et al.
Publicado: (2024)

Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques
por: D'Angelo, Keri, et al.
Publicado: (2024)

Fixpoint Semantics for DatalogMTL with Negation
por: Pollaci, Samuele
Publicado: (2026)

The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic
por: Jung, Jean Christoph, et al.
Publicado: (2025)

An Approximate Skolem Function Counter
por: Shaw, Arijit, et al.
Publicado: (2023)

Faster Game Solving by Fixpoint Acceleration
por: Hausmann, Daniel
Publicado: (2024)

Model Checking as Program Verification by Abstract Interpretation (Extended Version)
por: Baldan, Paolo, et al.
Publicado: (2025)

Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
por: Kojima, Ryota, et al.
Publicado: (2025)

Value Functions as Supermartingale Certificates
por: Abate, Alessandro, et al.
Publicado: (2026)

Boolformer: Symbolic Regression of Logic Functions with Transformers
por: d'Ascoli, Stéphane, et al.
Publicado: (2023)

Modal Separability of Fixpoint Formulae
por: Jung, Jean Christoph, et al.
Publicado: (2024)

Error-awareness Accelerates Active Automata Learning
por: Kruger, Loes, et al.
Publicado: (2026)

State Matching and Multiple References in Adaptive Active Automata Learning
por: Kruger, Loes, et al.
Publicado: (2024)

A Logical View of GNN-Style Computation and the Role of Activation Functions
por: Barceló, Pablo, 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)

Left-Linear Rewriting in Adhesive Categories
por: Baldan, Paolo, et al.
Publicado: (2024)

Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks
por: König, Matthias, et al.
Publicado: (2024)

Fixpoint constructions in focused orthogonality models of linear logic
por: Fiore, Marcelo, et al.
Publicado: (2023)

A Program Logic for Abstract (Hyper)Properties
por: Baldan, Paolo, et al.
Publicado: (2026)

Quantitative and Approximate Monitoring
por: Henzinger, Thomas A., et al.
Publicado: (2021)

Towards Verifying Exact Conditions for Implementations of Density Functional Approximations
por: Helal, Sameerah, et al.
Publicado: (2024)