{"entity": "Swarat Chaudhuri", "url": "https://wpnews.pro/entity/Swarat Chaudhuri", "count": 1, "articles": [{"slug": "advancing-mathematics-research-with-ai-driven-formal-proof-search", "title": "Advancing mathematics research with AI-driven formal proof search", "url": "https://wpnews.pro/news/advancing-mathematics-research-with-ai-driven-formal-proof-search", "published_at": "2026-05-25 18:44:45+00:00"}]}