ENTITY
Aeneas
Aeneas
PulseAugur coverage of Aeneas — every cluster mentioning Aeneas across labs, papers, and developer communities, ranked by signal.
Total · 30d
2
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
0
0 over 90d
TIER MIX · 90D
TOPICS
SENTIMENT · 30D
1 day(s) with sentiment data
RECENT · PAGE 1/1 · 2 TOTAL
-
Google DeepMind unveils AI tool for historians to analyze ancient texts
Google DeepMind has introduced a new AI-powered tool called "Predicting the Past Skill" designed to assist historians. This tool integrates specialized AI models, such as Aeneas and Ithaca, with Gemini's reasoning capab…
-
Mistral AI releases Leanstral-1.5 for formal proofs and bug detection
Mistral AI has released Leanstral-1.5, an open-source AI model designed for formal proofs and bug detection. This model moves beyond traditional statistical language models by entering the domain of formal verification.…