Trishul: Trustworthy Intelligent Systems @ UT Austin
+Our Research
+ + +The Trishul lab at UT Austin, directed by Prof. Swarat Chaudhuri, +studies problems at the interface of automated reasoning, programming +languages, and machine learning. Through a combination of symbolic +knowledge representations, statistical learning, search, and automated +reasoning, we hope to build a new class of intelligent systems that +excel at reasoning-intensive tasks and are reliable, secure, and +transparent by construction.
+ + + + +Our Projects
+ + +Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua.
+ + + + +Our Team
+ + +Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua.
+ + + + +