Vadim Pak

According to our database, Vadim Pak authored at least 3 papers between 2017 and 2020.

Collaborative distances:

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

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