Vitaly Kurin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2017–2026
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Velvet: A Foundational Multi-modal Verifier for Imperative Programs in Lean. | Vladimir Gladshtein, Vitaly Kurin, Yueyang Feng, Dipesh Kafle, George Prlea, Qiyuan Zhao, Ilya Sergey |
| 2021 | ICLR | My Body is a Cage: the Role of Morphology in Graph-Based Incompatible Control. | Vitaly Kurin, Maximilian Igl, Tim Rocktschel, Wendelin Boehmer, Shimon Whiteson |
| 2020 | ICML | Deep Coordination Graphs. | Wendelin Boehmer, Vitaly Kurin, Shimon Whiteson |
| 2019 | ICML | Fast Context Adaptation via Meta-Learning. | Luisa M. Zintgraf, Kyriacos Shiarlis, Vitaly Kurin, Katja Hofmann, Shimon Whiteson |
| 2019 | ICRA | Learning From Demonstration in the Wild. | Feryal M. P. Behbahani, Kyriacos Shiarlis, Xi Chen, Vitaly Kurin, Sudhanshu Kasewa, Ciprian Stirbu, Joo Gomes, Supratik Paul, Frans A. Oliehoek, Joo V. Messias, Shimon Whiteson |
| 2017 | CVPR | Towards a Principled Integration of Multi-camera Re-identification and Tracking Through Optimal Bayes Filters. | Lucas Beyer, Stefan Breuers, Vitaly Kurin, Bastian Leibe |