Audit needs attention
Well-posedness of fully coupled McKean-Vlasov FBSDEs with jumps under full-tuple law dependence
arXiv:2608.23203 · arXiv
Lean formalisations (1)
cgarryZA/mvfbsdej-well-posedness-lean at b47fbc60db45
Linked by the repository’s formalization.yaml.
Project review: Author reviews; per-claim results in the audit.
Audit incompatible: Audit needs one matching public paper identifier
- Open the audit by Christian Garry — Published by the project’s audit workflow.