# Swarat Chaudhuri

> Entity coverage from Web Pulse
> Last updated: 2026-05-25T20:02:33.750755+00:00
> 1 articles mentioning **Swarat Chaudhuri**

- [Advancing mathematics research with AI-driven formal proof search](https://wpnews.pro/news/advancing-mathematics-research-with-ai-driven-formal-proof-search) — 2026-05-25