Login / Signup
Vadim Pak
ORCID
Publication Activity (10 Years)
Years Active: 2017-2020
Publications (10 Years): 3
Top Topics
Theorem Prover
N Gram
Weighting Scheme
Language Modelling
Top Venues
CoRR
Ershov Informatics Conference
Program. Comput. Softw.
</>
Publications
</>
Zein Shaheen
,
Gerhard Wohlgenannt
,
Bassel Zaity
,
Dmitry Mouromtsev
,
Vadim Pak
Russian Natural Language Generation: Creation of a Language Modelling Dataset and Evaluation with Modern Neural Architectures.
CoRR
(2020)
Vladimir Pavlov
,
Vadim Pak
Theorem Prover for Intuitionistic Logic Based on the Inverse Method.
Program. Comput. Softw.
44 (1) (2018)
Vladimir Pavlov
,
Vadim Pak
WhaleProver: First-Order Intuitionistic Theorem Prover Based on the Inverse Method.
Ershov Informatics Conference
(2017)