Xujie Si

Este artigo apresenta um método eficiente de diffs de árvore usando resolução de SAT.

A pesquisa foca em melhorar a verificação de redes neurais com especificações NAP mínimas.

Um novo algoritmo melhora o refinamento de código usando LLMs de forma mais eficiente.

A APPL facilita o desenvolvimento com grandes modelos de linguagem usando uma sintaxe intuitiva, parecida com Python.

Tyro melhora a identificação de erros de tipo para programadores, especialmente os iniciantes.

Pesquisadores melhoram a geração de imagens e movimentos com base nas instruções dos usuários.