Loris D'Antoni

O design modular melhora a eficiência e a escalabilidade da síntese de programas.

Um novo método simplifica a prova de propriedades de programas usando lógica de não realizabilidade.

Um novo método para explicações contrafactuais consistentes apesar das mudanças no modelo.

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.