Copertina

Formal Verification of Minimax Algorithms

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Wesselink, Wieger, Huizing, Kees, van de Wetering, Huub
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence 68Q60, 68T20
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Batch Matrix-form Equations and Implementation of Multilayer Perceptrons
di: Wesselink, Wieger, et al.
Pubblicazione: (2025)

UR4NNV: Neural Network Verification, Under-approximation Reachability Works!
di: Liang, Zhen, et al.
Pubblicazione: (2024)

STACHE: Local Black-Box Explanations for Reinforcement Learning Policies
di: Elashkin, Andrew, et al.
Pubblicazione: (2025)

Formal Foundations for Controlled Stochastic Activity Networks
di: Movaghar, Ali
Pubblicazione: (2025)

Gradient Descent Algorithm in Hilbert Spaces under Stationary Markov Chains with $ϕ$- and $β$-Mixing
di: Roy, Priyanka, et al.
Pubblicazione: (2025)

MATRIX: Multi-Agent simulaTion fRamework for safe Interactions and conteXtual clinical conversational evaluation
di: Lim, Ernest, et al.
Pubblicazione: (2025)

Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach
di: Schlapbach, Andreas
Pubblicazione: (2026)

Identities of triangular Boolean matrices
di: Volkov, Mikhail V.
Pubblicazione: (2024)

Separation and Collapse of Equilibria Inequalities on AND-OR Trees without Shape Constraints
di: Ito, Fuki, et al.
Pubblicazione: (2024)

The complexity of intersecting subproducts with subgroups in Cartesian powers
di: Spelier, Pim
Pubblicazione: (2021)

A Theory of Non-Acyclic Generative Flow Networks
di: Brunswic, Leo Maxime, et al.
Pubblicazione: (2023)

Formal Verification of Markov Processes with Learned Parameters
di: Maaz, Muhammad, et al.
Pubblicazione: (2025)

Markov Chain Gradient Descent in Hilbert Spaces
di: Roy, Priyanka, et al.
Pubblicazione: (2024)

Neural Network Approximation: A View from Polytope Decomposition
di: Li, ZeYu, et al.
Pubblicazione: (2026)

Online Regularized Learning Algorithms in RKHS with $β$- and $ϕ$-Mixing Sequences
di: Roy, Priyanka, et al.
Pubblicazione: (2025)

Refutation of Spectral Graph Theory Conjectures with Search Algorithms)
di: Roucairol, Milo, et al.
Pubblicazione: (2024)

Analysis of multivariate symbol statistics in primitive rational models
di: Goldwurm, Massimiliano, et al.
Pubblicazione: (2026)

Many Objective Problems Where Crossover is Provably Essential
di: Opris, Andre
Pubblicazione: (2024)

From CRUD to Autonomous Agents: Formal Validation and Zero-Trust Security for Semantic Gateways in AI-Native Enterprise Systems
di: Peyrano, Ignacio
Pubblicazione: (2026)

Combining Mechanical and Agentic Specification Inference for Move
di: Grieskamp, Wolfgang, et al.
Pubblicazione: (2026)

CircuitBuilder: From Polynomials to Circuits via Reinforcement Learning
di: Zhang, Weikun K., et al.
Pubblicazione: (2026)

Synthesis of Safety Specifications for Probabilistic Systems
di: Ohlmann, Gaspard, et al.
Pubblicazione: (2025)

Ergodic Generative Flows
di: Brunswic, Leo Maxime, et al.
Pubblicazione: (2025)

Tamper-Proofing with Self-Modifying Code
di: Morse, Gregory, et al.
Pubblicazione: (2026)

A Complete Fragment of LTL(EB)
di: Ferrarotti, Flavio, et al.
Pubblicazione: (2024)

Incremental Certificate Learning for Hybrid Neural Network Verification . A Solver Architecture for Piecewise-Linear Safety Queries
di: Gokavarapu, Chandrasekhar
Pubblicazione: (2025)

Formal Analysis of AGI Decision-Theoretic Models and the Confrontation Question
di: Saklakov, Denis
Pubblicazione: (2026)

Algorithms for Generating Small Random Samples
di: Cicirello, Vincent A.
Pubblicazione: (2024)

On the Origin of Algorithmic Progress in AI
di: Gundlach, Hans, et al.
Pubblicazione: (2025)

Statistical Guarantees for Lifelong Reinforcement Learning using PAC-Bayes Theory
di: Zhang, Zhi, et al.
Pubblicazione: (2024)

Grouped Sequential Optimization Strategy -- the Application of Hyperparameter Importance Assessment in Deep Learning
di: Wang, Ruinan, et al.
Pubblicazione: (2025)

Cone-Induced Observation Congruences for Vector-Valued Quantitative Languages
di: Alpay, Faruk, et al.
Pubblicazione: (2026)

Achieving Tight $O(4^k)$ Runtime Bounds on Jump$_k$ by Proving that Genetic Algorithms Evolve Near-Maximal Population Diversity
di: Opris, Andre, et al.
Pubblicazione: (2024)

Authenticated Delegation and Authorized AI Agents
di: South, Tobin, et al.
Pubblicazione: (2025)

Optimal non-adaptive algorithm for edge estimation
di: Bishnu, Arijit, et al.
Pubblicazione: (2025)

Truth-Aware Decoding: A Program-Logic Approach to Factual Language Generation
di: Alpay, Faruk, et al.
Pubblicazione: (2025)

Computational thresholds in high-dimensional statistics: the case of graph alignment
di: Massoulié, Laurent
Pubblicazione: (2025)

An Asymptotically Optimal Coordinate Descent Algorithm for Learning Bayesian Networks from Gaussian Models
di: Xu, Tong, et al.
Pubblicazione: (2024)

Quantum Algorithms for Weighted Constrained Sampling and Weighted Model Counting
di: Riguzzi, Fabrizio
Pubblicazione: (2024)

Generating DDPM-based Samples from Tilted Distributions
di: Mandal, Himadri, et al.
Pubblicazione: (2026)