Ying Sheng

DafnyBench mide herramientas de verificación de software, abriendo el camino para una programación confiable.

Un nuevo método mejora la velocidad y eficiencia de los modelos de lenguaje grandes.

Descubre cómo AI Metropolis acelera y mejora las interacciones de los agentes en simulaciones.