10 citations · 15 across the 9 of their papers we have counts for
10 papers
"Flipped" University: LLM-Assisted Lifelong Learning Environment
Kirill Krinkin, Tatiana Berlenko
The rapid development of artificial intelligence technologies, particularly Large Language Models (LLMs), has revolutionized the landscape of lifelong learning. This paper introduc…
Cognitive Architecture for Co-Evolutionary Hybrid Intelligence
Kirill Krinkin, Yulia Shichkina
This paper questions the feasibility of a strong (general) data-centric artificial intelligence (AI). The disadvantages of this type of intelligence are discussed. As an alternativ…
Co-evolutionary hybrid intelligence
Kirill Krinkin, Yulia Shichkina, Andrey Ignatyev
Artificial intelligence is one of the drivers of modern technological development. The current approach to the development of intelligent systems is data-centric. It has several li…
Correlation Filter of 2D Laser Scans For Indoor Environment
Kirill Krinkin, Anton Filatov
Modern laser SLAM (simultaneous localization and mapping) and structure from motion algorithms face the problem of processing redundant data. Even if a sensor does not move, it sti…
Media Content Delivery Protocols Performance and Reliability Evaluation in Cellular Mobile Networks
Kirill Krinkin, Igor Dronnikov
Currently, tens of millions of devices around the world communicate with/ each other via cellular networks. In this paper, we study the stability of network content delivery protoc…
Imitation Learning Approach for AI Driving Olympics Trained on Real-world and Simulation Data Simultaneously
Mikita Sazanovich, Konstantin Chaika, Kirill Krinkin +1
In this paper, we describe our winning approach to solving the Lane Following Challenge at the AI Driving Olympics Competition through imitation learning on a mixed set of simulati…
A Stricter Heap Separating Points-To Logic
René Haberland, Kirill Krinkin
Dynamic memory issues are hard to locate and may cost much of a development project's efforts and was repeatedly reported similarly afterwards independently by different persons. V…
Abstract Predicate Entailment over Points-To Heaplets is Syntax Recognition
René Haberland, Kirill Krinkin, Sergey Ivanovskiy
Abstract predicates are considered in this paper as abstraction technique for heap-separated configurations, and as genuine Prolog predicates which are translated straight into a c…
A Non-repetitive Logic for Verification of Dynamic Memory with Explicit Heap Conjunction and Disjunction
René Haberland, Kirill Krinkin
In this paper, we review existing points-to Separation Logics for dynamic memory reasoning and we find that different usages of heap separation tend to be an obstacle. Hence, two t…
2D SLAM Quality Evaluation Methods
Anton Filatov, Artyom Filatov, Kirill Krinkin +2
SLAM (Simultaneous Localization and mapping) is one of the most challenging problems for mobile platforms and there is a huge amount of modern SLAM algorithms. The choice of the al…