Swarat Chaudhuri

Researcher@Google·英国·OpenReview

研究方向

AI for mathematics · Statistical relational learning · AI for scientific discovery · Neurosymbolic programming · AI safety · Reinforcement learning · Planning · neurosymbolic learning · deep learning · Probabilistic programming · Program induction · program synthesis · Automated reasoning · Formal methods