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 276 81

  2. houdini houdini Public

    HOUDINI: Lifelong Learning as Program Synthesis

    Python 48 6

  3. copra copra Public

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

    Python 38 5

  4. near near Public

    Python 23 11

  5. PutnamBench PutnamBench Public

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

    Lean 11 1

  6. cflobdd cflobdd Public

    C 8 3

Repositories

Showing 10 of 17 repositories
  • 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 11 1 0 0 Updated Jul 11, 2024
  • Quasimodo Public
    trishullab/Quasimodo’s past year of commit activity
    C++ 5 MIT 6 3 1 Updated Jul 3, 2024
  • cflobdd Public
    trishullab/cflobdd’s past year of commit activity
    C 8 MIT 3 0 0 Updated Jul 3, 2024
  • 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 38 5 2 0 Updated Jun 15, 2024
  • flora Public
    trishullab/flora’s past year of commit activity
    Python 0 0 0 0 Updated May 8, 2024
  • 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 May 6, 2024
  • cosmos Public

    Code release for "Neurosymbolic Grounding for Compositional World Models"

    trishullab/cosmos’s past year of commit activity
    2 MIT 0 0 0 Updated Mar 1, 2024
  • trishullab.github.io Public

    Trishul lab's public-facing website

    trishullab/trishullab.github.io’s past year of commit activity
    HTML 0 BSD-3-Clause 0 0 0 Updated Feb 21, 2024
  • trishulweb.github.io Public

    Public-facing website for Trishullab

    trishullab/trishulweb.github.io’s past year of commit activity
    HTML 0 0 0 0 Updated Feb 20, 2024
  • tapas Public

    Texas Python Analyzer

    trishullab/tapas’s past year of commit activity
    Python 3 Apache-2.0 0 0 0 Updated Jul 28, 2023
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…