[CONTRIBUTIONS]: Pietro Monticone

[pitmonticone]

• [ ] Conceptualization
• [x] Data Curation:
  • I wrote, reviewed, edited the blueprint (see here).
  • I added the edge list of the implication graph and the script to generate it (see here).
• [x] Formal Analysis:
  • I explored Directed Link Prediction (DLP) on the implication graph using Graph Neural Network (GNN) autoencoders to predict missing edges and estimate the truth value of unproven implications. A detailed report, including insights from test sets on edge existence, directionality, and bidirectionality, is available here.
• [ ] Funding Acquisition
• [ ] Investigation
• [ ] Methodology
• [x] Project Administration:
  • I set up, tested, maintained and optimised the project environment and workflows (see here, here and here).
  • I coordinated with other maintainers and contributors (see here).
  • I have managed and continue to manage the project's dependency updates (see here).
• [x] Resources:
  • I contributed to the development of the LeanBlueprint library used to generate the project blueprint (see here).
  • I created and currently maintain the LeanProject template used to generate this project (see here).
• [x] Software:
  • I developed, maintained, reviewed, fixed, documented and refactored Lean, Python and Bash scripts, tools and the project website (see here, here, here and here).
  • I upstreamed formalised declarations to Mathlib (see here).
  • I upstreamed fixes and enhancements to LeanBlueprint (see here).
• [ ] Supervision
• [x] Validation:
  • I developed, maintained, fixed and documented Lean formalisations (see here).
  • I designed, developed, maintained CI workflows (see here).
• [ ] Visualization
• [x] Writing - Original Draft Preparation:
  • I contributed to the original plan of the paper (see here).
  • I contributed to the draft of the paper (see here).
• [x] Writing – Review and Editing:
  • I am currently reviewing and editing the paper (see here).

[teorth]

Looks good to me! Thanks for uploading.