Kapushev, Yermek

3 publications

AAAI 2024 Beyond Attention: Breaking the Limits of Transformer Context Length with Recurrent Memory Aydar Bulatov, Yuri Kuratov, Yermek Kapushev, Mikhail Burtsev

ICMLW 2024 Lean4trace: Data Augmentation for Neural Theorem Proving in Lean Vasilii Nesterov, Yermek Kapushev, Mikhail Burtsev

NeurIPS 2018 Quadrature-Based Features for Kernel Approximation Marina Munkhoeva, Yermek Kapushev, Evgeny Burnaev, Ivan Oseledets