Author

Keith Wang

Research Scientist

Formally verified AES-XTS: The first AES algorithm to join s2n-bignum

Yan Peng, Nevine Ebeid, June Lee

March 20, 2026

Simplifying and clarifying the assembly code for core operations enabled automated optimization and verification.

Automated reasoning
Optimizing LoRA target module selection for efficient fine tuning

Rushil Anirudh, Anjie Fang, Bhoomit Vasani

March 19, 2026

Ablation study clarifies trade-offs between accuracy and efficiency when using low-rank adaptation (LoRA) to fine-tune AI models.

Machine learning
How agentic AI helps heal the systems we can’t replace

Staff writer

March 16, 2026

By learning the idiosyncrasies of accumulated layers of legacy systems, AI agents can preserve institutional knowledge and provide a unified interface to a range of services.

Conversational AI