The Trishul lab at UT Austin, directed by Prof. Swarat Chaudhuri, studies problems at the interface of programming languages, logic and formal methods, and machine learning. Through a combination of symbolic knowledge representations, statistical..
Relevance: 11.388123