Sanjit A. Seshia

Um novo método melhora o aprendizado de agentes de RL através de recompensas estruturadas.

Métodos eficientes para atribuir tarefas a múltiplos robôs em ambientes em tempo real.

Tenspiler facilita a adaptação do código, permitindo que os desenvolvedores acompanhem as mudanças tecnológicas.

Um novo método melhora a geração de código para linguagens de programação especializadas.

Explorando como a IA facilita a conversão de código entre linguagens de programação.

Um novo método melhora a detecção de vulnerabilidades microarquiteturais em sistemas de computador.