> ./whoami

Mathematician (B.S. from UNICEN, Dec 2025). GPA: 9.40/10.00. Focusing on Logic and AI.

[GO TO PROFILE ->]
Ayrton Porto

> ./ls -projects

AVID Journal

A neuro-symbolic pipeline for auto-formalizing mathematical papers using Gemini 2.0.

[Explore Project]
AVID Project

Formal Methods

Experimenting with formalizing my undergraduate thesis in Lean 4.

[Explore Project]
Formal Methods

MTG Analytics

Data analysis applied to Magic: The Gathering for deck-building.

[Explore Project]
MTG Analytics
[RETURN TO ROOT]