Swarat Chaudhuri @ ICLR 2024
@swarat
Professor @UTCompSci. Automated Reasoning + Machine Learning + Formal Methods. #ICLR2024 Program Chair.
ID:45724845
http://www.cs.utexas.edu/~swarat 09-06-2009 01:10:07
1,4K Tweets
2,4K Followers
547 Following