Mark Obozov

Researcher, AI, Innopolis

Joined

July 2024

Names

Mark Obozov (Preferred)

Emails

****@gmail.com (Confirmed)

****@boostainer.com (Confirmed)

Personal Links

Homepage

ORCID

Career & Education History

Researcher

AI, Innopolis (innopolis.ru)

2024 – 2026

Advisors, Relations & Conflicts

PhD Advisor

Alexander Gasnikov

2023 – 2024

Expertise

Optimization and control

2023 – 2024

Machine Learning

2023 – 2024

Publications

ResearchArena-CayleyBench: RL/LLM Benchmark challenges which can advance mathematical research
Alexander Chervov, Dmytro Fedoriaka, Mark Obozov, Elena V. Konstantinova, Anastasia Sheveleva, Alexander Soibelman, Igor Kiselev, Fedor Levkovich-Maslyuk, Dmitry Volovich, Nick Vilkin-Krom, Alim Bidzhiev, Artem Krasnyi, Mikhail Evseev, Artem Isakov, Michael Litvinov, Elizaveta Geraseva, Liliya Grunwald, Sergei Lytkin, Andrei Smolensky, Sergey Galkin et al. (29 additional authors not shown)
- AAAI 2026 Workshop on AI for Scientific Research
- Readers: Everyone
The Yes-Bias in LLM Reasoning
Mark Obozov, Egor Salygin, Peter Losev, Artem Alekseev, Nikolay Bushkov, Stanislav Moiseev
- ICLR 2026 Workshop LLM Reasoning
- Readers: Everyone
Think, Align, Select: Query–Key Scores for LLM Reasoning
Mark Obozov, Eduard Tulchinskii, Kristian Kuznetsov, Michael Diskin, Serguei Barannikov
- MATH-AI 2025 Poster
- Readers: Everyone
CayleyPy Growth: Efficient growth computations and hundreds of new conjectures on Cayley graphs
Alexander Chervov, Dmytro Fedoriaka, Mark Obozov, Elena V. Konstantinova, Anton Naumov, Igor Kiselev, Anastasia Sheveleva, Ivan Koltsov, Sergei Lytkin, Andrei Smolensky, Alexander Soibelman, Fedor Levkovich-Maslyuk, Ruslan Grimov, Dmitry Volovich, Artem Isakov, Anton Kostin, Michael Litvinov, Nick Vilkin-Krom, Alim Bidzhiev, Artem Krasnyi et al. (28 additional authors not shown)
- MATH-AI 2025 Poster
- Readers: Everyone
Think First, Then Select and Verify with Query–Key Alignment
Mark Obozov, Eduard Tulchinskii, Kristian Kuznetsov, Michael Diskin, Serguei Barannikov
- Submitted to ICLR 2026
- Readers: Everyone
ResearchArena-CayleyBench: RL/LLM Benchmark challenges which can advance mathematical research
Alexander Chervov, Dmytro Fedoriaka, Elena V. Konstantinova, Mark Obozov, Anastasia Sheveleva, Alexander Soibelman, Igor Kiselev, Fedor Levkovich-Maslyuk, Dmitry Volovich, Nick Vilkin-Krom, Alim Bidzhiev, Artem Krasnyi, Mikhail Evseev, Artem Isakov, Michael Litvinov, Elizaveta Geraseva, Liliya Grunwald, Sergei Lytkin, Andrei Smolensky, Sergey Galkin et al. (29 additional authors not shown)
- ICLR 2026 Conference Desk Rejected Submission
- Readers: Everyone
Synthetic Proofs with Tool-Integrated Reasoning: Contrastive Alignment for LLM Mathematics with Lean
Mark Obozov, Michael Diskin, Aleksandr Beznosikov, Alexander Gasnikov, Serguei Barannikov
- OpenReview Archive Direct Upload
- Readers: Everyone
A machine learning approach that beats Rubik's cubes
Alexander Chervov, Kirill Khoruzhii, Nikita Bukhal, Jalal Naghiyev, Vladislav Zamkovoy, Ivan Koltsov, Lyudmila Cheldieva, Arsenii Sychev, Arsenii Lenin, Mark Obozov, Egor Urvanov, Alexey M. Romanov
- NeurIPS 2025 spotlight
- Readers: Everyone
Exploring Applications of State Space Models and Advanced Training Techniques in Sequential Recommendations: A Comparative Study on Efficiency and Perfomance
Nikolay Kutuzov, Alexander Gasnikov, Makar Baderko, Mark Obozov, Stepan Kulibaba
- ICOMP Publication
- Readers: Everyone

Co-Authors

View all 68 co-authors