ENTITY TCS-Bench

TCS-Bench

PulseAugur coverage of TCS-Bench — every cluster mentioning TCS-Bench across labs, papers, and developer communities, ranked by signal.

Total · 30d

0

1 over 90d

Releases · 30d

0

0 over 90d

Papers · 30d

0

1 over 90d

TIER MIX · 90D

TOPICS

RECENT · PAGE 1/1 · 1 TOTAL

TOOL · CL_256056 · Sep 15 · 18:14

Google's Stellar Colosseum tackles long-horizon math proofs with Gemini models

Google Research has developed a novel multi-agent system called Stellar Colosseum, designed to tackle long-horizon tasks, particularly in mathematical proofs. This system operates in stages, generating candidate solutio…