![]() ![]() Programs that is combinatorial and quickly explodes. Is that the synthesizer must search through a space of Interpretable scientific hypotheses from data and prior knowledge. Have also used program synthesis to automatically discover Other work seeks to automatically discover safeĪnd interpretable policies for AI agents. Work uses program synthesis to automate everyday softwareĮngineering tasks. Program synthesis cuts across most of our ![]() ![]() Goals can take many forms, including noisy input-output data, behavioral constraints, reward functions, and visual or textual descriptions That accomplish a given set of high-level goals. Program synthesis is the problem of automatically writing programs Here are the main research themes in Trishul. I am a member of UT Austin's Programming Languages and Formal Methods group, a core faculty member in UT's Machine Learning Laboratory, and an affiliate of Texas Robotics. Through a combination of programming language abstractions, statistical learning, search, and automated mathematical reasoning, we hope to build a new class of intelligent systems that are reliable, secure, and transparent by construction and can perform complex tasks that are beyond the scope of contemporary AI. My lab, called Trishul, studies problems at the interface of programming languages, logic and formal methods, and machine learning. ![]() To do a postdoc, please write to me with a summary of your background in the lab, please apply to UTCS and mention my name in theĪpplication, or write to me if you have questions. The Trishul lab for Trustworthy Intelligent Systems is still growing! If you would like to do a ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |