Mikoláš Janota

Apresentando um método que melhora a busca por bugs no desenvolvimento de software em C.

2025-07-14T12:45:24+00:00 ― 6 min ler

Esse artigo fala sobre um método pra melhorar a resolução de SMT usando aprendizado de máquina pra escolher quantificadores.

2025-06-22T01:03:18+00:00 ― 5 min ler

Este artigo analisa como as GNNs melhoram a resolução de problemas SAT.

2025-06-21T16:21:54+00:00 ― 7 min ler

Uma nova ferramenta oferece um retorno rápido para tarefas de programação.

2025-06-13T18:22:12+00:00 ― 8 min ler