absorb.md

About Matei Zaharia

X / @matei_zaharia
Compiled from 2 entries / v0
No wiki compiled yet. Trigger /api/compile-person/matei_zaharia to generate.
Sources (2)

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. IDS: Agentic LLM System Achieves Full Formal Verification of Distributed Systems at 200x Expert Speedpaper · 2026-05-26
  2. Co-Evolving Evaluators Unlock LLM-Driven Database Performance Optimizationpaper · 2026-05-17