Popular repositories Loading

1. bayou bayou Public

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

   Java 280 78

2. PutnamBench PutnamBench Public

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

   Lean 242 37

3. copra copra Public

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

   Python 75 12

4. houdini houdini Public

   HOUDINI: Lifelong Learning as Program Synthesis

   Python 53 7

5. clever clever Public

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

   Lean 46 7

6. LibraryAugmentedSymbolicRegression.jl LibraryAugmentedSymbolicRegression.jl Public

   Forked from astroautomata/SymbolicRegression.jl

   Library augmented Symbolic Regression in Julia

   Julia 44 10