GitHub repository: justincasher/vantage
Primary language: Python
Created: 2025-03-31T02:28:06Z
Description: 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.