Audit published
Well-posedness of fully coupled McKean-Vlasov FBSDEs with jumps under full-tuple law dependence
arXiv:2608.23203 · arXiv
Versions: arXiv v1 · Latest manuscript (commit 1f67672)
Lean formalisations (1)
cgarryZA/mvfbsdej-well-posedness-lean at 3fc7d7300ca2
Linked by the repository’s formalization.yaml.
Project review: Author reviews; per-claim results in the audit.
- Open the audit (arXiv v1) by Christian Garry — arXiv v1, built from the project’s frozen branch audit-v1.
- Open the audit (Latest manuscript (commit 1f67672)) by Christian Garry — The latest manuscript, built from main by the project’s audit workflow.