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 278 80

  2. PutnamBench PutnamBench Public

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

    Lean 102 16

  3. copra copra Public

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

    Python 58 8

  4. houdini houdini Public

    HOUDINI: Lifelong Learning as Program Synthesis

    Python 48 6

  5. near near Public

    Python 24 11

  6. LibraryAugmentedSymbolicRegression.jl LibraryAugmentedSymbolicRegression.jl Public

    Forked from MilesCranmer/SymbolicRegression.jl

    Library augmented Symbolic Regression in Julia

    Julia 19 3

Repositories

Showing 10 of 23 repositories
  • 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 58 8 3 0 Updated Apr 14, 2025
  • 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 102 16 4 0 Updated Apr 14, 2025
  • 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 12 MIT 1 4 0 Updated Apr 13, 2025
  • LibraryAugmentedSymbolicRegression.jl Public Forked from MilesCranmer/SymbolicRegression.jl

    Library augmented Symbolic Regression in Julia

    trishullab/LibraryAugmentedSymbolicRegression.jl’s past year of commit activity
    Julia 19 Apache-2.0 101 2 4 Updated Apr 6, 2025
  • escher Public

    Iteratively evolving a visual concept library using feedback from a VLM critic

    trishullab/escher’s past year of commit activity
    Python 0 Apache-2.0 0 0 0 Updated Apr 6, 2025
  • escher-web Public
    trishullab/escher-web’s past year of commit activity
    JavaScript 0 MIT 0 0 0 Updated Apr 5, 2025
  • cosmos-web Public

    Website accompanying https://github.com/trishullab/cosmos

    trishullab/cosmos-web’s past year of commit activity
    JavaScript 0 0 0 0 Updated Apr 2, 2025
  • lasr-web Public

    Scrolly website for LaSR

    trishullab/lasr-web’s past year of commit activity
    JavaScript 0 MIT 1 0 0 Updated Apr 2, 2025
  • proof-wala Public

    Library for interaction with proof-environments, proof search and training of transformers for proof-step prediction

    trishullab/proof-wala’s past year of commit activity
    Python 7 0 0 0 Updated Mar 28, 2025
  • houdini Public

    HOUDINI: Lifelong Learning as Program Synthesis

    trishullab/houdini’s past year of commit activity
    Python 48 6 0 0 Updated Mar 24, 2025
View all repositories

People

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

Top languages

Loading…

Most used topics

Loading…