ENTITY
Swarat Chaudhuri
Swarat Chaudhuri
PulseAugur coverage of Swarat Chaudhuri — every cluster mentioning Swarat Chaudhuri across labs, papers, and developer communities, ranked by signal.
Total · 30d
0
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
0
2 over 90d
TIER MIX · 90D
TOPICS
RECENT · PAGE 1/1 · 2 TOTAL
-
New benchmarks assess LLM math reasoning, proof verification
Researchers have introduced new benchmarks and evaluation methods to assess the mathematical reasoning capabilities of large language models. ComBench focuses on Olympiad-level combinatorics, distinguishing between proo…
-
AI agent solves open math problems using formal proof search
Researchers have developed an AI agent capable of autonomously solving open mathematical problems by generating formal proofs in languages like Lean. This agent successfully resolved 9 out of 353 open Erdős problems and…