Publications
Article
On Recurrent Neural Network Based Theorem Prover For First Order Minimal Logic
2021
1193-1202
Article
On the Minimal Fragment of S5 Modal Logic
2021
7-12
Article
On Machine Learning Powered Theorem Prover for Propositional Fragment of Minimal Logic
2020
135-142
Article
On Some Systems of Propositional Minimal Logic with Loop Detection
2019
110-115
Patent
Error Determination from Logs
2019