681 citations
- Moscow Institute of Physics and TechnologyRU4 papers
- University of LincolnGB3 papers
- ITMO UniversityRU2 papers
- Politecnico di MilanoIT2 papers
- A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences1 paper
- Associated Compiler Experts (Netherlands)NL1 paper
- Beijing Institute of TechnologyCN1 paper
- Boston UniversityUS1 paper
- Brandenburg University of Technology Cottbus-SenftenbergDE1 paper
- Cardiff UniversityGB1 paper
- Centre Inria de l'Université de LorraineFR1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
4 papers · 1 filter
Method with Batching for Stochastic Finite-Sum Variational Inequalities in Non-Euclidean Setting
Alexander Pichugin, Maksim Pechin, Aleksandr Beznosikov +2
Variational inequalities are a universal optimization paradigm that incorporate classical minimization and saddle point problems. Nowadays more and more tasks require to consider s…
Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language
Abdelrahman Abounegm, Nikolai Kudasov, Alexey Stepanov
We report on a half-semester course focused around implementation of type systems in programming languages. The course assumes basics of classical compiler construction, in particu…
Accelerated Stochastic Gradient Method with Applications to Consensus Problem in Markov-Varying Networks
Vladimir Solodkin, Savelii Chezhegov, Ruslan Nazikov +2
Stochastic optimization is a vital field in the realm of mathematical optimization, finding applications in diverse areas ranging from operations research to machine learning. In t…
Activations and Gradients Compression for Model-Parallel Training
Mikhail Rudakov, Aleksandr Beznosikov, Yaroslav Kholodov +1
Large neural networks require enormous computational clusters of machines. Model-parallel training, when the model architecture is partitioned sequentially between workers, is a po…