New York, NY

Justin Asher

Expert
@justincasher

Math AI

lean-explore. A search engine for Lean 4 declarations

76

vantage. Vantage is a Python project using Lean 4 and large language models to create a highly parallelized autoformalization system that represents mathematical knowledge as an interconnected graph, aiming to map, organize, and accelerate its exploration with accuracy and efficiency.

9

ega-english. English translations of Éléments de géométrie algébrique (EGA) by Grothendieck and Dieudonné

1

lean-prompts. AI-assisted prompts for Lean 4 and Mathlib development

1
4
Apply