no code implementations • 17 Feb 2025 • Mark Vero, Niels Mündler, Victor Chibotaru, Veselin Raychev, Maximilian Baader, Nikola Jovanović, Jingxuan He, Martin Vechev
The automatic generation of programs has long been a fundamental challenge in computer science.
no code implementations • 14 Dec 2024 • Anton Alexandrov, Veselin Raychev, Dimitar I. Dimitrov, Ce Zhang, Martin Vechev, Kristina Toutanova
We present BgGPT-Gemma-2-27B-Instruct and BgGPT-Gemma-2-9B-Instruct: continually pretrained and fine-tuned versions of Google's Gemma-2 models, specifically optimized for Bulgarian language understanding and generation.
no code implementations • 11 Jul 2024 • Anton Alexandrov, Veselin Raychev, Mark Niklas Müller, Ce Zhang, Martin Vechev, Kristina Toutanova
As open-weight large language models (LLMs) achieve ever more impressive performances across a wide range of tasks in English, practitioners aim to adapt these models to different languages.
no code implementations • 19 Feb 2024 • Berkay Berabi, Alexey Gronskiy, Veselin Raychev, Gishor Sivanrupan, Victor Chibotaru, Martin Vechev
We show that the task is difficult as it requires the model to learn long-range code relationships, a task that inherently relies on extensive amounts of training data.
1 code implementation • ICML 2021 • Berkay Berabi, Jingxuan He, Veselin Raychev, Martin Vechev
The problem of fixing errors in programs has attracted substantial interest over the years.
Ranked #1 on
Program Repair
on TFix's Code Patches Data
no code implementations • 28 Nov 2019 • Veselin Raychev, Preslav Nakov
We describe a novel language-independent approach to the task of determining the polarity, positive or negative, of the author's opinion on a specific topic in natural language text.
no code implementations • 6 Nov 2016 • Pavol Bielik, Veselin Raychev, Martin Vechev
In this paper we present a new, automated approach for creating static analyzers: instead of manually providing the various inference rules of the analyzer, the key idea is to learn these rules from a dataset of programs.