Monday, July 20, 2026
11 C
London

AI Features

Verifying Rust cryptography in SymCrypt, from standards to code

How Rust, Lean, Aeneas, and AI agents are helping scale formal verification for production cryptographic algorithms At a glance SymCrypt develops new verified cryptography using Rust,...

Aurora 1.5: Extending open foundation models for weather and Earth-system applications

At a glance Aurora 1.5 is a major extension of Microsoft’s Aurora Earth System foundation model that adds 22 more weather variables relevant to energy,...

Flint: A visualization language for the AI era

At a glance Polished charts from simple specs. Flint allows AI agents to reliably generate expressive, visually polished charts from simple,...

SkillOpt: Agent skills as trainable parameters

At a glance AI agents often fail because their instructions, or skills, are manually modified with no guarantee of improvement....

Memora: A Harmonic Memory Representation Balancing Abstraction and Specificity

At a glance Today’s AI agents don’t remember past interactions. They must repeatedly be fed relevant information or retrieve it...

Understanding the brain with AI-driven explanations and experiments

At a glance LLM-based models can predict the human brain’s responses to language with high accuracy. But what drives that...

Talos: Scaling rare disease diagnosis with automated, iterative genomic reanalysis

At a glance Talos is an open-source tool for automated, iterative reanalysis of genomic data in rare disease. It efficiently re-examines...

Ire identifies another LOTUSLITE specimen

At a glance Project Ire identifies a LOTUSLITE variant that shares TTPs (tools, tactics, procedures) with the public family but...