Mikoláš Janota

Introducing a method that improves bug-finding in C software development.

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

This article discusses a method to improve SMT solving by using machine learning for quantifier selection.

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

This article examines how GNNs enhance the solving of SAT problems.

2025-06-21T16:21:54+00:00 ― 6 min read

A new tool offers quick feedback for programming assignments.

2025-06-13T18:22:12+00:00 ― 7 min read