Loris D'Antoni

Novos métodos melhoram os resultados dos modelos de linguagem, mantendo as regras gramaticais.

Aprenda a criar especificações para programas com comportamentos complexos.

Esse paper apresenta um método pra criar semântica formal automaticamente usando interpretadores.

Explorando novos métodos pra geração de programas eficiente.

Explorando as percepções dos envolvidos sobre a justiça em modelos de aprendizado de máquina em meio à multiplicidade.