Trishul: Trustworthy Intelligent Systems @ UT Austin (trishullab)

Trishul: Trustworthy Intelligent Systems @ UT Austin

trishullab

Geek Repo

Company:UT Austin

Location:Austin, TX

Github PK Tool:Github PK Tool

Trishul: Trustworthy Intelligent Systems @ UT Austin's repositories

bayou

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

Language:JavaLicense:Apache-2.0Stargazers:277Issues:43Issues:119

houdini

HOUDINI: Lifelong Learning as Program Synthesis

copra

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

Language:PythonStargazers:33Issues:0Issues:0
Language:PythonLicense:Apache-2.0Stargazers:23Issues:1Issues:0
Language:CLicense:MITStargazers:6Issues:0Issues:0

salento

Statistical bug-finding framework for API-using code

Language:PythonLicense:Apache-2.0Stargazers:6Issues:6Issues:7
Language:C++License:MITStargazers:5Issues:0Issues:0

tapas

Texas Python Analyzer

Language:PythonLicense:Apache-2.0Stargazers:3Issues:0Issues:0
Language:CSSLicense:Apache-2.0Stargazers:2Issues:6Issues:30

cosmos

Code release for "Neurosymbolic Grounding for Compositional Generalization"

ampersand

Neurosymbolic Algorithms for Machine Programming and Reasoning

Stargazers:0Issues:0Issues:0
Language:JavaLicense:Apache-2.0Stargazers:0Issues:1Issues:1

cosmos-web

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

Language:JavaScriptStargazers:0Issues:0Issues:0

trishullab.github.io

Trishul lab's public-facing website

Language:HTMLLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

trishulweb.github.io

Public-facing website for Trishullab

Language:HTMLStargazers:0Issues:0Issues:0