Vadim Pak

According to our database, Vadim Pak authored at least 4 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Towards Secure Federated Learning: Enhancing Privacy and Robustness in Decentralized AI Systems.

Rony Louis, Nader Bakir, Khouloud Samrouth, Vadim Pak

Proceedings of the International Conference on Computer and Applications, 2024

2020

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

2018

Theorem Prover for Intuitionistic Logic Based on the Inverse Method.

Vladimir Pavlov, Vadim Pak

Program. Comput. Softw., 2018

2017

WhaleProver: First-Order Intuitionistic Theorem Prover Based on the Inverse Method.

Vladimir Pavlov, Vadim Pak

Proceedings of the Perspectives of System Informatics, 2017