Skip to content

@trishullab Trishul: Trustworthy Intelligent Systems @ UT Austin

Change the repository type filter

All

    Repositories list

    19 repositories

    • PutnamBench

      Public
      An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
      Lean
      •6•49•5•3•Updated Oct 7, 2024Oct 7, 2024

    • LibraryAugmentedSymbolicRegression.jl

      Public
      Library augmented Symbolic Regression in Julia
      Julia
      •
      Apache License 2.0
      •78•5•0•4•Updated Oct 7, 2024Oct 7, 2024

    • lasr-web

      Public
      Scrolly website for LaSR
      JavaScript
      •
      MIT License
      •1•0•0•0•Updated Sep 26, 2024Sep 26, 2024

    • copra

      Public
      COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.
      Python
      •6•45•1•0•Updated Sep 2, 2024Sep 2, 2024

    • trishullab.github.io

      Public
      Trishul lab's public-facing website
      HTML
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Jul 18, 2024Jul 18, 2024

    • Quasimodo

      Public
      C++
      •
      MIT License
      •6•6•3•1•Updated Jul 3, 2024Jul 3, 2024

    • cflobdd

      Public
      C
      •
      MIT License
      •3•9•0•0•Updated Jul 3, 2024Jul 3, 2024

    • flora

      Public
      Python
      •0•0•0•0•Updated May 8, 2024May 8, 2024

    • cosmos-web

      Public
      Website accompanying https://github.com/trishullab/cosmos
      JavaScript
      •0•0•0•0•Updated May 6, 2024May 6, 2024

    • cosmos

      Public
      Code release for "Neurosymbolic Grounding for Compositional World Models"
      MIT License
      •0•3•0•0•Updated Mar 1, 2024Mar 1, 2024

    • trishulweb.github.io

      Public
      Public-facing website for Trishullab
      HTML
      •0•0•0•0•Updated Feb 20, 2024Feb 20, 2024

    • tapas

      Public
      Texas Python Analyzer
      Python
      •
      Apache License 2.0
      •0•3•0•0•Updated Jul 28, 2023Jul 28, 2023

    • bayou

      Public
      System for synthesizing Java API idioms, powered by Neural Sketch Learning
      machine-learningjavasynthesis
      Java
      •
      Apache License 2.0
      •80•276•17•16•Updated Jun 14, 2023Jun 14, 2023

    • ampersand

      Public
      Neurosymbolic Algorithms for Machine Programming and Reasoning
      machine-learningtheorem-provingprogram-synthesisneurosymbolic
      0•0•0•0•Updated Nov 1, 2021Nov 1, 2021

    • near

      Public
      Python
      •
      Apache License 2.0
      •11•23•0•0•Updated Dec 9, 2020Dec 9, 2020

    • houdini

      Public
      HOUDINI: Lifelong Learning as Program Synthesis
      Python
      •6•48•0•0•Updated Aug 17, 2020Aug 17, 2020

    • askbayou

      Public
      CSS
      •
      Apache License 2.0
      •0•2•5•0•Updated Oct 15, 2019Oct 15, 2019

    • salento

      Public
      Statistical bug-finding framework for API-using code
      machine-learningapisbug-finding
      Python
      •
      Apache License 2.0
      •4•6•3•2•Updated Jul 31, 2018Jul 31, 2018

    • trialpack

      Public
      Java
      •
      Apache License 2.0
      •0•0•1•0•Updated Dec 1, 2017Dec 1, 2017