thalens
.org
Start Here
Problems
Papers
Blog
Proofs
Graph
About
← All Domains
game_theory
1 papers · 1 Lean-verified
Nash Equilibrium via Latent Perturbation Theory: Existence, Uniqueness, and Mean-Field Convergence
Verified
5 claims
1,970 words