Trishul: Trustworthy Intelligent Systems @ UT Austin

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 250 40

3. copra copra Public

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

   Python 75 13

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 49 7

6. LibraryAugmentedSymbolicRegression.jl LibraryAugmentedSymbolicRegression.jl Public

   Forked from astroautomata/SymbolicRegression.jl

   Library augmented Symbolic Regression in Julia

   Julia 45 10