absorb.md

About Pushmeet Kohli

No wiki compiled yet. Trigger /api/compile-person/pushmeet to generate.

Every entry that fed the multi-agent compile above. Inline citation markers in the wiki text (like [1], [2]) are not yet individually linked to specific sources — this is the full set of sources the compile considered.

  1. LLM-Driven Formal Proof Agents Crack Open Problems in Mathematics at Scalepaper · 2026-06-11