UT Austin Austin, TX
trishullab
System for synthesizing Java API idioms, powered by Neural Sketch Learning
HOUDINI: Lifelong Learning as Program Synthesis
COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.