← All problems

$
Closed forms where Monte Carlo used to rule

Exact Quantitative Finance

Can core objects of quantitative finance — VaR, ES, rough volatility, tail risk — be computed exactly instead of simulated?

Progress

90%
Fenton solved, Lean-verified
Current approach
Latent representation of correlated lognormal sums (Fenton distribution); spectral importance sampling for tail risk.
Status notes
Fenton distribution closed-form published with Zenodo DOI. VaR/ES exact computation and ES backtesting complete. Rough volatility ongoing.

Direct contributions

3 papers