Trishul: Trustworthy Intelligent Systems @ UT Austin

icon location Austin, TX

Results 4 repositories owned by Trishul: Trustworthy Intelligent Systems @ UT Austin

bayou

276
Stars
81
Forks
Watchers

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

verified publisher icon trishullab

houdini

46
Stars
6
Forks
Watchers

HOUDINI: Lifelong Learning as Program Synthesis

verified publisher icon trishullab

near

23
Stars
11
Forks
Watchers

verified publisher icon trishullab

copra

35
Stars
5
Forks
Watchers

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

verified publisher icon trishullab