Skip to content
@trishullab

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 279 78

  2. PutnamBench PutnamBench Public

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

    Lean 266 41

  3. copra copra Public

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

    Python 80 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 46 10

Repositories

Showing 10 of 29 repositories
  • cflobdd Public
    trishullab/cflobdd's past year of commit activity
    C 15 MIT 4 0 2 Updated Oct 1, 2026
  • PutnamBench Public

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

    trishullab/PutnamBench's past year of commit activity
    Lean 266 41 8 1 Updated Sep 24, 2026
  • LibraryAugmentedSymbolicRegression.jl Public Forked from astroautomata/SymbolicRegression.jl

    Library augmented Symbolic Regression in Julia

    trishullab/LibraryAugmentedSymbolicRegression.jl's past year of commit activity
    Julia 46 Apache-2.0 136 4 7 Updated Sep 7, 2026
  • clever Public

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

    trishullab/clever's past year of commit activity
    Lean 49 MIT 7 5 1 Updated Aug 26, 2026
  • copra Public

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

    trishullab/copra's past year of commit activity
    Python 80 13 2 1 Updated Aug 15, 2026
  • grothendieck-bounds Public
    trishullab/grothendieck-bounds's past year of commit activity
    Python 0 0 0 0 Updated Aug 11, 2026
  • itp-interface Public

    Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theorem proving.

    trishullab/itp-interface's past year of commit activity
    Python 20 MIT 3 5 0 Updated Jul 10, 2026
  • grothendieck-rounding-repo Public
    trishullab/grothendieck-rounding-repo's past year of commit activity
    Python 0 0 0 0 Updated Jun 1, 2026
  • Fermat Public
    trishullab/Fermat's past year of commit activity
    Python 7 Apache-2.0 2 11 1 Updated Apr 29, 2026
  • GeneralizedCFLOBDDs Public

    Generalized Version of CFLOBDDs

    trishullab/GeneralizedCFLOBDDs's past year of commit activity
    C++ 0 1 0 0 Updated Apr 23, 2026
View all repositories

People

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

Most used topics

Loading…