WhaleProver: First-Order Intuitionistic Theorem Prover Based on the Inverse Method. - Vladimir Pavlov; Vadim Pak (Ershov Informatics Conference, 2017)

Theorem Prover for Intuitionistic Logic Based on the Inverse Method. - Vladimir Pavlov; Vadim Pak (Program. Comput. Softw., 2018)

Russian Natural Language Generation: Creation of a Language Modelling Dataset and Evaluation with Modern Neural Architectures. - Zein Shaheen; Gerhard Wohlgenannt; Bassel Zaity; Dmitry Mouromtsev; Vadim Pak (CoRR, 2020)

Towards Secure Federated Learning: Enhancing Privacy and Robustness in Decentralized AI Systems. - Rony Louis; Nader Bakir; Khouloud Samrouth; Vadim Pak (ICCA, 2024)