Cover Image

Approximating Fixpoints of Approximated Functions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Baldan, Paolo, Gurke, Sebastian, König, Barbara, Padoan, Tommaso, Wittbold, Florian
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Fixpoint Theory -- Upside Down
by: Baldan, Paolo, et al.
Published: (2021)

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

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

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

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

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

Coalgebraic Behavioral Metrics
by: Baldan, Paolo, et al.
Published: (2017)

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

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

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

Operations on Fixpoint Equation Systems
by: Neele, Thomas, et al.
Published: (2023)

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

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

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

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

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

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

Fixpoint Semantics for DatalogMTL with Negation
by: Pollaci, Samuele
Published: (2026)

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

An Approximate Skolem Function Counter
by: Shaw, Arijit, et al.
Published: (2023)

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

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

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

Value Functions as Supermartingale Certificates
by: Abate, Alessandro, et al.
Published: (2026)

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

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

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

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

A Logical View of GNN-Style Computation and the Role of Activation Functions
by: Barceló, Pablo, et al.
Published: (2025)

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

From learnable objects to learnable random objects
by: Anderson, Aaron, et al.
Published: (2025)

Programs as Singularities
by: Murfet, Daniel, et al.
Published: (2025)

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

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

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

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

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

Quantitative and Approximate Monitoring
by: Henzinger, Thomas A., et al.
Published: (2021)

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