On Recurrent Neural Network Based Theorem Prover For First Order Minimal Logic. - Ashot Baghdasaryan; Hovhannes Bolibekyan (J. Univers. Comput. Sci., 2021)

Knowledge retrieval and diagnostics in cloud services with large language models. - Ashot Baghdasaryan; Tigran Bunarjyan; Arnak V. Poghosyan; Ashot N. Harutyunyan; Jad El-Zein (Expert Syst. Appl., 2024)