Публикации
Статья
On Recurrent Neural Network Based Theorem Prover For First Order Minimal Logic
Статья
On Machine Learning Powered Theorem Prover for Propositional Fragment of Minimal Logic
Статья
On Some Systems of Propositional Minimal Logic with Loop Detection
Патент
Error Determination from Logs
