Challenges in automated verification and synthesis for molecular programming

Watch Next

• 

  Convergence Analysis for Fast High-Order ODE Solvers in Diffusion Probabilistic Models

  July 7, 2026

  • Zhengjiang Lin
• 

  Reinforce Adjoint Matching: Scaling Diffusion RL

  June 30, 2026

  • Andreas Bergmeister
• 

  Panel: Is Retrieval Relevant in the Age of Reasoning?

  June 9, 2026

  • Himanshu Tyagi,
  • Ravishankar Krishnaswamy,
  • Mrinal Kanti Das

  , et. al.
• 

  Session on Reasoning

  June 9, 2026

  • Hongxiang Fan,
  • Nagarajan Natarajan
• 

  Human-Centered AI: Design, Deployment & Healthcare

  June 9, 2026

  • Manik Gupta,
  • Anirudha Joshi,
  • Aaditeshwar Seth

  , et. al.
• 

  Plenary Talk 2: Reimagining Education and Skilling for the Age of AI: Challenges & Opportunities

  June 9, 2026

  • Manohar Swaminathan
• 

  Session on Retrieval

  June 9, 2026

  • Lokesh Nagalapatti,
  • Soumen Chakrabarti
• 

  Session on Inclusive AI: Data, Models, Evaluation

  June 9, 2026

  • Niloy Ganguly,
  • Danish Pruthi,
  • Sunayana Sitaram

  , et. al.
• 

  Plenary Talk 1: Navigating the AI Horizon: Promises, Perils, and the Power of Collaboration

  June 9, 2026

  • Ece Kamar,
  • Srinivasan Iyengar
• 

  Welcome Session - Microsoft Research India Academic Summit 2026

  June 9, 2026

  • Venkat Padmanabhan,
  • Srinivasan Iyengar