Popular repositories Loading

1. bayou bayou Public

   System for synthesizing Java API idioms, powered by Neural Sketch Learning

   Java 280 79

2. PutnamBench PutnamBench Public

   An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.

   Lean 217 33

3. copra copra Public

   COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.

   Python 71 12

4. houdini houdini Public

   HOUDINI: Lifelong Learning as Program Synthesis

   Python 49 8

5. LibraryAugmentedSymbolicRegression.jl LibraryAugmentedSymbolicRegression.jl Public

   Forked from MilesCranmer/SymbolicRegression.jl

   Library augmented Symbolic Regression in Julia

   Julia 39 7

6. clever clever Public

   CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning

   Lean 37 6

This organization has no public members. You must be a member to see who's a part of this organization.