ENTITY
Expat
Expat
PulseAugur coverage of Expat — every cluster mentioning Expat across labs, papers, and developer communities, ranked by signal.
Total · 30d
2
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
1
1 over 90d
TIER MIX · 90D
TOPICS
TIMELINE
- 2026-08-05 funding The Expat library has received funding from the City of Munich for six months. source
SENTIMENT · 30D
1 day(s) with sentiment data
RECENT · PAGE 1/1 · 2 TOTAL
-
Claude AI generates 180M lines of code proof, finds hundreds of bugs
Anthropic's Claude model, in collaboration with Theorem, has achieved a significant milestone in formal verification by generating approximately 180 million lines of machine-checked proof for 239 entry points across 123…
-
Raspberry Pi powers Databricks AI model; Expat library funded by Munich
The Raspberry Pi, known for its minimalist design, is being leveraged in an autoregressive model by Databricks. Separately, the open-source library Expat has secured funding from the City of Munich for a six-month perio…