Johannes Schmitt, Tim Gehrunger, Jasper Dekoninck, Gergely Bérczi, Uri Kreitner, Liam Price, and David Holmes

Actor across 1 radar case, incl. as cascade root

Cases

• cascade-root-for proofcouncil-llm-agent-open-math

Receipts (deposited as cases close)

• none yet — receipts append when linked cases resolve or expire