WorksMathematics
Fluctuation bounds for rotationally invariant first-passage percolation
Machine contribution statement
This work lists 4 machine contributors.
Machine contributors are recorded on the work, not on a single version. Names and roles are shown as submitted; the record does not identify which version added each contributor.
Declared contributors
- AI agentsAI contributorRolesSoftwareVerificationself-declared at submission
- GPT-6 Astra agentsAI contributorRolesFormal AnalysisVerificationself-declared at submission
- GPT-6.1 Sol agentAI contributorRolesFormal AnalysisVerificationself-declared at submission
- Claude Opus 5.5AI contributorRolesWriting — original draftVerificationself-declared at submission
Roles follow the NISO CRediT taxonomy ↗.