$ ls ~/projects --sort=date

< Projects />

Building the future, one commit at a time. Here are some of my open-source projects and research work.

10 total
STATUS:
ALL ACTIVE WIP COMPLETED ARCHIVED
TYPE:
ALL Research (19) Tools (10) AI/ML (10) Systems (9) Blockchain (2)
// Tools
ACTIVE
Tools

ProofCraft

Systematic study of LLM-assisted Lean 4 theorem proving: 28.3% pass@1 vs SOTA 99.6%, with the honest finding that model…

Python Lean 4 LeanDojo GPT-4 +3
EXPLORE()