$ ls ~/projects --sort=date

< Projects />

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

1 total
STATUS:
ALL ACTIVE WIP COMPLETED ARCHIVED
TYPE:
ALL Research (11) Systems (5) Tools (3) AI/ML (2) Blockchain (1)
🤖 // AI/ML
ACTIVE
AI/ML

> ProofCraft

LLM-Assisted Lean 4 Automatic Proof Assistant - combining LLMs with formal verification for mathema…

Python Lean 4 PyTorch GPT-4 +2
EXPLORE()