Trishul: Trustworthy Intelligent Systems @ UT Austin (@trishullab)
Guthub

trishullab

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    454
  • Global Org. Rank 25,234 (Top 9 %)
  • Followers 1
  • Registered over 7 years ago
  • Most used languages
    Python
         50.0 %
    C
         10.0 %
    CSS
         10.0 %
    Isabelle     10.0 %
    Java
         10.0 %
    C++
         10.0 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 18,929
  • Country Ranking
    Isabelle     1
    Java
         1,130
    Python
         7,667
    C
         9,092

Top repositories

1

bayou

System for synthesizing Java API idioms, powered by Neural Sketch Learning
Java
276
star
2

houdini

HOUDINI: Lifelong Learning as Program Synthesis
Python
48
star
3

copra

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

PutnamBench

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

near

Python
23
star
6

cflobdd

C
9
star
7

salento

Statistical bug-finding framework for API-using code
Python
6
star
8

Quasimodo

C++
5
star
9

tapas

Texas Python Analyzer
Python
3
star
10

cosmos

Code release for "Neurosymbolic Grounding for Compositional World Models"
2
star
11

askbayou

CSS
2
star