Zobrazeno 1 - 10
of 2 039
pro vyhledávání: '"Bogomolov P."'
Let $M$ be a holomorphically symplectic manifold, equipped with a Lagrangian fibration $\pi:\; M \to X$. A degenerate twistor deformation (sometimes also called ``a Tate-Shafarevich twist'') is a family of holomorphically symplectic structures on $M$
Externí odkaz:
http://arxiv.org/abs/2407.07877
Autor:
Wang, X., Li, J. B., Mironov, V., Guo, J. W., Zhang, X. Z., Tarvainen, O., Feng, Y. C., Li, L. X., Ma, J. D., Zhang, Z. H., Lu, W., Bogomolov, S., Sun, L., Zhao, H. W.
Intense highly charged ion beam production is essential for high-power heavy ion accelerators. A novel movable Vlasov launcher for superconducting high charge state Electron Cyclotron Resonance (ECR) ion source has been devised that can affect the mi
Externí odkaz:
http://arxiv.org/abs/2406.13448
Autor:
Bogomolov, Egor, Eliseeva, Aleksandra, Galimzyanov, Timur, Glukhov, Evgeniy, Shapkin, Anton, Tigina, Maria, Golubev, Yaroslav, Kovrigin, Alexander, van Deursen, Arie, Izadi, Maliheh, Bryksin, Timofey
Nowadays, the fields of code and natural language processing are evolving rapidly. In particular, models become better at processing long context windows - supported context sizes have increased by orders of magnitude over the last few years. However
Externí odkaz:
http://arxiv.org/abs/2406.11612
Autor:
Pomian, Dorin, Bellur, Abhiram, Dilhara, Malinda, Kurbatova, Zarina, Bogomolov, Egor, Sokolov, Andrey, Bryksin, Timofey, Dig, Danny
Excessively long methods, loaded with multiple responsibilities, are challenging to understand, debug, reuse, and maintain. The solution lies in the widely recognized Extract Method refactoring. While the application of this refactoring is supported
Externí odkaz:
http://arxiv.org/abs/2405.20551
Autor:
Titov, Sergey, Evtikhiev, Mikhail, Shapkin, Anton, Smirnov, Oleg, Boytsov, Sergei, Karaeva, Dariia, Sheptyakov, Maksim, Arkhipov, Mikhail, Bryksin, Timofey, Bogomolov, Egor
In this technical report, we present three novel datasets of Kotlin code: KStack, KStack-clean, and KExercises. We also describe the results of fine-tuning CodeLlama and DeepSeek models on this data. Additionally, we present a version of the HumanEva
Externí odkaz:
http://arxiv.org/abs/2405.19250
Autor:
Abate, Alessandro, Bogomolov, Sergiy, Edwards, Alec, Potomkin, Kostiantyn, Soudjani, Sadegh, Zuliani, Paolo
We present a novel technique for online safety verification of autonomous systems, which performs reachability analysis efficiently for both bounded and unbounded horizons by employing neural barrier certificates. Our approach uses barrier certificat
Externí odkaz:
http://arxiv.org/abs/2404.18813
Modern-day Integrated Development Environments (IDEs) have come a long way from the early text editing utilities to the complex programs encompassing thousands of functions to help developers. However, with the increasing number of efficiency-enhanci
Externí odkaz:
http://arxiv.org/abs/2402.11635
Autor:
Pomian, Dorin, Bellur, Abhiram, Dilhara, Malinda, Kurbatova, Zarina, Bogomolov, Egor, Bryksin, Timofey, Dig, Danny
Long methods that encapsulate multiple responsibilities within a single method are challenging to maintain. Choosing which statements to extract into new methods has been the target of many research tools. Despite steady improvements, these tools oft
Externí odkaz:
http://arxiv.org/abs/2401.15298
Autor:
Shapkin, Anton, Litvinov, Denis, Zharov, Yaroslav, Bogomolov, Egor, Galimzyanov, Timur, Bryksin, Timofey
Current state-of-the-art large language models are effective in generating high-quality text and encapsulating a broad spectrum of world knowledge. These models, however, often hallucinate and lack locally relevant factual data. Retrieval-augmented a
Externí odkaz:
http://arxiv.org/abs/2312.08976
Autor:
Bogomolov, Sergiy, Johnson, Taylor T., Lopez, Diego Manzanas, Musau, Patrick, Stankaitis, Paulius
Publikováno v:
EPTCS 395, 2023, pp. 95-112
This paper presents an optimisation-based approach for an obstacle avoidance problem within an autonomous vehicle racing context. Our control regime leverages online reachability analysis and sensor data to compute the maximal safe traversable region
Externí odkaz:
http://arxiv.org/abs/2311.09781