Verifying and optimizing post-quantum cryptography at Amazon
How automated reasoning reconciles the demands of security, performance, and maintainability.
Latest
Improving quality and robustness in LLM-based text-to-speech systems
Low-rank adaptation, data augmentation, and chain-of-thought reasoning are among the techniques enabling accent-free polyglot outputs, improved expressiveness, and reliable synthesis.
Formally verified AES-XTS: The first AES algorithm to join s2n-bignum
Simplifying and clarifying the assembly code for core operations enabled automated optimization and verification.
Optimizing LoRA target module selection for efficient fine tuning
Ablation study clarifies trade-offs between accuracy and efficiency when using low-rank adaptation (LoRA) to fine-tune AI models.
How agentic AI helps heal the systems we can’t replace
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.
Designing AI agents that know when to step back
As AI agents become more autonomous, the key challenge isn't what they can do; it's how to design the human side of the equation.