Pinned Loading

1. MAGMA MAGMA Public

   The MAGMA Benchmark is designed to evaluate the performance of large language models (LLMs) on classical graph algorithms using intermediate steps.

   Python 7 3

2. LeanEvolve LeanEvolve Public

   Python 3

3. MAGMA_v2 MAGMA_v2 Public

   Python 2

4. Lean-Contextualize Lean-Contextualize Public

   Lean-Contextualize builds dependency-aware Lean contexts from Jixia symbol/decl graphs. It resolves constructors, instances, and wrappers to produce the minimal context required for compiling indiv…

   Python

5. PGNSC PGNSC Public

   [-]

   Python