Swarat Chaudhuri
@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,5K Followers
557 Following
@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,5K Followers
557 Following