Publications
Article
On Recurrent Neural Network Based Theorem Prover For First Order Minimal Logic
Article
On Machine Learning Powered Theorem Prover for Propositional Fragment of Minimal Logic
Article
On Some Systems of Propositional Minimal Logic with Loop Detection
Patent
Error Determination from Logs
