Challenges in automated verification and synthesis for molecular programming

Watch Next

• 

  Microsoft Transforms its Cloud Supply Chain with Optimization and Generative AI

  April 16, 2026

  • Peter Lee,
  • Konstantina Mellou,
  • Kayla Kummerlowe

  , et. al.
• 

  Will machines ever be intelligent?

  March 23, 2026

  • Subutai Ahmad,
  • Doug Burger,
  • Nicolo Fusi
• 

  Dion2: A new simple method to shrink matrix in Muon

  March 3, 2026

  • Anson Ho,
  • Kwangjun Ahn
• 

  ARO: A new lens on matrix optimization for LLMs

  March 3, 2026

  • Anson Ho,
  • Wenbo Gong,
  • Chao Ma
• 

  Lessons from deploying HealthBots with experts-in-the-loop

  March 3, 2026

  • Anson Ho,
  • Mohit Jain
• 

  Teaching small language models to think like optimization experts with OptiMind

  March 3, 2026

  • Anson Ho,
  • Xinzhi Zhang
• 

  Agent Lightning: One learning system that makes all agents evolve

  March 3, 2026

  • Anson Ho,
  • Luna K. Qiu
• 

  CROSS — Leveraging AI ASICs for Homomorphic Encryption

  February 26, 2026

  • Jianming Tong
• 

  Bridging Neurotechnology with Immersive Systems: Getting BCIs outside of the lab?

  February 12, 2026

  • Hakim Si-Mohammed
• 

  Efficient Distributed Orthonormal Optimizers for Large-Scale Training

  February 12, 2026

  • Kwangjun Ahn