Gabriel Poesia

Explorando cómo las habilidades pueden mejorar la toma de decisiones en el aprendizaje por refuerzo.

MathCAMPS ofrece una forma nueva de evaluar el razonamiento matemático en modelos de lenguaje.

Investigadores enseñan a las máquinas a resolver problemas de matemáticas a través de desafíos que ellas mismas generan.

Combinando IA con Dafny para simplificar los procesos de verificación de software.