Buchumschlag

A Formally Verified Library of Mathematical Finance in Lean 4

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Coelho, Raphael
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Mathematical Finance Computational Finance 68V20, 91G20, 60H05 F.4.1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Error Analysis of Deep PDE Solvers for Option Pricing
von: Rou, Jasper
Veröffentlicht: (2025)

Small-time central limit theorems for stochastic Volterra integral equations and their Markovian lifts
von: Friesen, Martin, et al.
Veröffentlicht: (2024)

Heath-Jarrow-Morton meet lifted Heston in energy markets for joint historical and implied calibration
von: Jaber, Eduardo Abi, et al.
Veröffentlicht: (2025)

Time Deep Gradient Flow Method for pricing American options
von: Rou, Jasper
Veröffentlicht: (2025)

A time-stepping deep gradient flow method for option pricing in (rough) diffusion models
von: Papapantoleon, Antonis, et al.
Veröffentlicht: (2024)

Fast-Vollib: A Fast Implied Volatility Library for Pythonwith PyTorch, JAX, and CUDA Fused-Kernel Backends
von: Saqur, Raeid
Veröffentlicht: (2026)

Efficient and accurate simulation of the stochastic-alpha-beta-rho model
von: Choi, Jaehyuk, et al.
Veröffentlicht: (2024)

A Monotone Limit Approach to Entropy-Regularized American Options
von: Chee, Daniel, et al.
Veröffentlicht: (2026)

On the Structural Foundations of Signature Volatility Models: Existence, Arbitrage, Completeness, and the Hedging-Error Decomposition
von: Xodarev, Akmal
Veröffentlicht: (2026)

A formalization of Borel determinacy in Lean
von: Manthe, Sven
Veröffentlicht: (2025)

The value of partial information
von: Ernst, Philip A., et al.
Veröffentlicht: (2025)

The indifference value of the weak information
von: Baudoin, Fabrice, et al.
Veröffentlicht: (2024)

From Arbitrage Removal to Density Extraction: A Model-Free Framework for Short-Dated Options
von: Wizman, Aaron, et al.
Veröffentlicht: (2026)

Tighter 'uniform bounds for Black-Scholes implied volatility' and the applications to root-finding
von: Choi, Jaehyuk, et al.
Veröffentlicht: (2023)

Uncertainty-Aware Deep Hedging
von: Poddar, Manan
Veröffentlicht: (2026)

Deep learning interpretability for rough volatility
von: Yuan, Bo, et al.
Veröffentlicht: (2024)

Risk premium and rough volatility
von: Bonesini, Ofelia, et al.
Veröffentlicht: (2024)

Autonomous AI Agents for Option Hedging: Enhancing Financial Stability through Shortfall Aware Reinforcement Learning
von: Hu, Minxuan, et al.
Veröffentlicht: (2026)

Admissible Information Structures and the Non-Existence of Global Martingale Pricing
von: Dominguez, Alejandro Rodriguez
Veröffentlicht: (2026)

Pricing VIX options under the Heston-Hawkes stochastic volatility model
von: Font, Oriol Zamora
Veröffentlicht: (2024)

Curved Greeks: A Geometric Layer for Option P&L Adjustments
von: Velasco, Pedro Pablo Pérez, et al.
Veröffentlicht: (2026)

Hedging with memory: shallow and deep learning with signatures
von: Jaber, Eduardo Abi, et al.
Veröffentlicht: (2025)

Call Option Price using Pearson Diffusion Processes
von: Kar, Tapan, et al.
Veröffentlicht: (2025)

On Stochastic Partial Differential Equations and their applications to Derivative Pricing through a conditional Feynman-Kac formula
von: Das, Kaustav, et al.
Veröffentlicht: (2021)

Explicit approximations of option prices via Malliavin calculus in a general stochastic volatility framework
von: Das, Kaustav, et al.
Veröffentlicht: (2020)

Closed-form approximations with respect to the mixing solution for option pricing under stochastic volatility
von: Das, Kaustav, et al.
Veröffentlicht: (2018)

Risk-Neutral Pricing of Random-Expiry Options Using Trinomial Trees
von: Bossu, Sebastien, et al.
Veröffentlicht: (2025)

Pricing with Passion: The Local Occupied Volatility (LOV) Model
von: Tissot-Daguette, Valentin
Veröffentlicht: (2026)

Pricing and calibration in the 4-factor path-dependent volatility model
von: Gazzani, Guido, et al.
Veröffentlicht: (2024)

Generative Diffusion Model for Risk-Neutral Derivative Pricing
von: Tiwari, Nilay
Veröffentlicht: (2026)

Scaling Limits of Bivariate Nearly-Unstable Hawkes Processes and Applications to Rough Volatility
von: Karmi, Sohaib El
Veröffentlicht: (2026)

Portfolios Generated by Contingent Claim Functions, with Applications to Option Pricing
von: Fernholz, Ricardo T., et al.
Veröffentlicht: (2023)

Complex discontinuities of the square root of Fredholm determinants in the Volterra Stein-Stein model
von: Jaber, Eduardo Abi, et al.
Veröffentlicht: (2025)

Enhancing Fourier pricing with machine learning
von: Junike, Gero, et al.
Veröffentlicht: (2024)

Formalising Fisher's Inequality: Formal Linear Algebraic Proof Techniques in Combinatorics
von: Edmonds, Chelsea, et al.
Veröffentlicht: (2022)

On the short-time behaviour of up-and-in barrier options using Malliavin calculus
von: Burés, Òscar
Veröffentlicht: (2025)

Understanding the Commodity Futures Term Structure Through Signatures
von: Krishnan, Hari P., et al.
Veröffentlicht: (2025)

Machine learning for option pricing: an empirical investigation of network architectures
von: Della Corte, Serena, et al.
Veröffentlicht: (2023)

Unsupervised Learning-based Calibration Scheme for Rough Volatility Models
von: Teng, Changqing, et al.
Veröffentlicht: (2024)

Extreme ATM skew in a local volatility model with discontinuity: joint density approach
von: Gairat, Alexander, et al.
Veröffentlicht: (2023)