Aeneas
PulseAugur coverage of Aeneas — every cluster mentioning Aeneas across labs, papers, and developer communities, ranked by signal.
2 day(s) with sentiment data
-
New AI Model Stoicheia Enhances Ancient Greek Text Analysis
Researchers have developed Stoicheia, a 405 million parameter character-level masked-diffusion model specifically designed for Ancient Greek. This model can simultaneously restore damaged text, parse sentences, and dete…
-
AI aids ancient text decipherment, but human expertise remains crucial
AI is demonstrating capabilities in deciphering ancient texts, with notable projects from MIT CSAIL on Linear B and Google DeepMind's Aeneas. However, discussions are emerging about the limitations of AI, particularly w…
-
$K$-NeAS advances multi-material CT reconstruction with neural SDFs
Researchers have developed $K$-NeAS, a novel architecture for scalable multi-material CT reconstruction. This system utilizes neural signed distance functions (SDFs) and a Gaussian Mixture Model (GMM) to automate attenu…
-
Microsoft Research verifies Rust crypto code with Lean and Aeneas
Microsoft Research has developed a new methodology for formally verifying cryptographic algorithms written in Rust, utilizing the Lean proof framework and the Aeneas toolchain. This approach aims to provide higher secur…
-
Google DeepMind uses AI to reconstruct ancient history
Google DeepMind has showcased its "Predicting the Past Skill," an AI tool designed to advance historical research. This skill analyzes ancient texts and artifacts to reconstruct historical events, networks, and practice…
-
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.…