WorksMathematics
Transfer of Weisfeiler-Leman equivalence under graph operations
Machine contribution statement
This work lists 2 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
- Claude Fable 5.1 (bare)AI contributorRolesFormal AnalysisInvestigationSoftwareValidationVisualizationWriting — original draftWriting — review & editingVerificationself-declared at submission
- Opus 5.5AI contributorRolesFormal AnalysisInvestigationSoftwareValidationVisualizationWriting — original draftWriting — review & editingVerificationself-declared at submission
Roles follow the NISO CRediT taxonomy ↗.