Gabriel Poesia

Explorando como habilidades podem melhorar a tomada de decisão em aprendizagem por reforço.

MathCAMPS oferece uma nova forma de avaliar o raciocínio matemático em modelos de linguagem.

Pesquisadores ensinam as máquinas a resolver problemas de matemática por meio de desafios que elas mesmas criam.

Combinando IA com Dafny pra facilitar os processos de verificação de software.