Yermek Kapushev

Joined

October 2017

Names

Yermek Kapushev

Emails

****@gmail.com (Confirmed)

Personal Links

Career & Education History

PhD student

Skolkovo Institute of Science and Technology (skoltech.ru)

2016 – 2019

Advisors, Relations & Conflicts

PhD Advisor

2016 – 2020

Expertise

Transformers

2020 – Present

automated theorem proving

2020 – Present

Random Fourier Features

2016 – 2020

Gaussian Processes

2012 – 2020

Publications

Lean4trace: Data augmentation for neural theorem proving in Lean
Vasilii Nesterov, Yermek Kapushev, Mikhail Burtsev
- ICML 2024 Workshop AI4MATH Poster
- Readers: Everyone
Denoising Score Matching via Random Fourier Features
Olga Tsymboi, Yermek Kapushev, Evgeny Burnaev, Ivan V. Oseledets
- 2022 (modified: 17 Nov 2022)
- IEEE Access 2022
- Readers: Everyone
Denoising Score Matching with Random Fourier Features
Tsimboy Olga, Yermek Kapushev, Evgeny Burnaev, Ivan V. Oseledets
- 2021 (modified: 17 May 2023)
- CoRR 2021
- Readers: Everyone
Random Fourier Features based SLAM
Yermek Kapushev, Anastasia Kishkun, Gonzalo Ferrer, Evgeny Burnaev
- 2021 (modified: 17 Nov 2022)
- IROS 2021
- Readers: Everyone
Tensor Completion via Gaussian Process-Based Initialization
Yermek Kapushev, Ivan V. Oseledets, Evgeny Burnaev
- 2020 (modified: 17 May 2023)
- SIAM J. Sci. Comput. 2020
- Readers: Everyone
Random Fourier Features based SLAM
Yermek Kapushev, Anastasia Kishkun, Gonzalo Ferrer, Evgeny Burnaev
- 2020 (modified: 17 May 2023)
- CoRR 2020
- Readers: Everyone
Tensor Completion via Gaussian Process Based Initialization
Yermek Kapushev, Ivan V. Oseledets, Evgeny Burnaev
- 2019 (modified: 17 May 2023)
- CoRR 2019
- Readers: Everyone
Quadrature-based features for kernel approximation
Marina Munkhoeva, Yermek Kapushev, Evgeny Burnaev, Ivan V. Oseledets
- 2018 (modified: 11 Nov 2022)
- NeurIPS 2018
- Readers: Everyone
Quadrature-based features for kernel approximation
Marina Munkhoeva, Yermek Kapushev, Evgeny Burnaev, Ivan V. Oseledets
- 2018 (modified: 17 Nov 2022)
- CoRR 2018
- Readers: Everyone
Large-Scale Shape Retrieval with Sparse 3D Convolutional Neural Networks
Alexandr Notchenko, Yermek Kapushev, Evgeny Burnaev
- 2017 (modified: 17 Nov 2022)
- AIST 2017
- Readers: Everyone

View all 14 publications

Co-Authors