Buchumschlag

Formalizing Automated Market Makers in the Lean 4 Theorem Prover

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Pusceddu, Daniele, Bartoletti, Massimo
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science Computational Engineering, Finance, and Science Computer Science and Game Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The Hyperdrive Protocol: An Automated Market Maker for Fixed and Variable Rates
von: Rhea, Jonny, et al.
Veröffentlicht: (2024)

A theory of Lending Protocols in DeFi
von: Bartoletti, Massimo, et al.
Veröffentlicht: (2025)

Increasing the Diversity of Investment Portfolio with Integration of Gamified Components in the FinTech Applications Lifecycle
von: PourMohammadBagher, Latifeh, et al.
Veröffentlicht: (2024)

Verifiable Off-Chain Governance
von: Hartnell, Jake, et al.
Veröffentlicht: (2025)

A Composable Game-Theoretic Framework for Blockchains
von: Avarikioti, Zeta, et al.
Veröffentlicht: (2025)

NFT Games: an Empirical Look into the Play-to-Earn Model
von: Gao, Yixiao, et al.
Veröffentlicht: (2026)

Beyond Last-Click: An Optimal Mechanism for Ad Attribution
von: An, Nan, et al.
Veröffentlicht: (2025)

Physics-Informed Neural Networks for Industrial Gas Turbines: Recent Trends, Advancements and Challenges
von: Sophiya, Afila Ajithkumar, et al.
Veröffentlicht: (2025)

Large-Scale Contextual Market Equilibrium Computation through Deep Learning
von: Ma, Yunxuan, et al.
Veröffentlicht: (2024)

Lean-auto: An Interface between Lean 4 and Automated Theorem Provers
von: Qian, Yicheng, et al.
Veröffentlicht: (2025)

A Formal Approach to AMM Fee Mechanisms with Lean 4
von: Dessalvi, Marco, et al.
Veröffentlicht: (2026)

Bounds of Block Rewards in Honest PinFi Systems
von: He, Qi, et al.
Veröffentlicht: (2024)

Diversity in Evolutionary Dynamics
von: Rabani, Yuval, et al.
Veröffentlicht: (2024)

AI Driven Near Real-time Locational Marginal Pricing Method: A Feasibility and Robustness Study
von: Jami, Naga Venkata Sai Jitin, et al.
Veröffentlicht: (2023)

Algorithmic Aspects of Strategic Trading
von: Kearns, Michael, et al.
Veröffentlicht: (2025)

Geographical Centralization Resilience in Ethereum's Block-Building Paradigms
von: Yang, Sen, et al.
Veröffentlicht: (2025)

Picking a Representative Set of Solutions in Multiobjective Optimization: Axioms, Algorithms, and Experiments
von: Boehmer, Niclas, et al.
Veröffentlicht: (2025)

Tractable General Equilibrium
von: Goktas, Denizalp, et al.
Veröffentlicht: (2025)

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
von: Mannucci, Mirco A., et al.
Veröffentlicht: (2025)

Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types
von: Mannucci, Mirco A., et al.
Veröffentlicht: (2026)

Defensive Rebalancing for Automated Market Makers
von: Devorsetz, Sam, et al.
Veröffentlicht: (2026)

Scaling CheckMate for Game-Theoretic Security
von: Rain, Sophie, et al.
Veröffentlicht: (2024)

Regular Games with Imperfect Information Are Not That Regular
von: Doyen, Laurent, et al.
Veröffentlicht: (2024)

Faster Game Solving by Fixpoint Acceleration
von: Hausmann, Daniel
Veröffentlicht: (2024)

Concurrent Strategies on Games with Algebras
von: Huriot-Tattegrain, Sacha, et al.
Veröffentlicht: (2024)

Computational Modelling for Combinatorial Game Strategies
von: Diaconescu, Răzvan
Veröffentlicht: (2024)

Temporal Explorability Games
von: Austin, Pete, et al.
Veröffentlicht: (2024)

Towards the Usage of Window Counting Constraints in the Synthesis of Reactive Systems to Reduce State Space Explosion
von: Feeken, Linda, et al.
Veröffentlicht: (2024)

Probabilistic Obstruction Temporal Logic: a Probabilistic Logic to Reason about Dynamic Models
von: Leneutre, Jean, et al.
Veröffentlicht: (2024)

Are Large Random Graphs Always Safe to Hide?
von: Chakraborty, Sourav, et al.
Veröffentlicht: (2025)

Seven kinds of equivalent models for generalized coalition logics
von: Chen, Zixuan, et al.
Veröffentlicht: (2025)

Privacy-preserving Nash Equilibrium Synthesis with Partially Ordered Temporal Objectives
von: Probine, Caleb, et al.
Veröffentlicht: (2025)

Algorithm and Strategy Construction for Sure-Almost-Sure Stochastic Parity Games
von: Doyen, Laurent, et al.
Veröffentlicht: (2026)

Games with $ω$-Automatic Preference Relations
von: Bruyère, Véronique, et al.
Veröffentlicht: (2025)

Benchmarks for Parity Games (extended version)
von: Keiren, Jeroen J. A.
Veröffentlicht: (2014)

Antichains for Concurrent Parameterized Games
von: Bertrand, Nathalie, et al.
Veröffentlicht: (2025)

Polytopal Stochastic Games
von: Castro, Pablo F., et al.
Veröffentlicht: (2025)

The Complexity of Games with Randomised Control
von: Bahmani, Sarvin, et al.
Veröffentlicht: (2026)

Generalised Reachability Games Revisited
von: Bose, Sougata, et al.
Veröffentlicht: (2025)

Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime
von: Nayak, Satya Prakash, et al.
Veröffentlicht: (2022)