Researcher profile

Mark Niklas Müller

2 papers in the PaperMetrix corpus

Publications

Papers by this author

First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)

2023 · arXiv (Cornell University)

This paper presents a summary and meta-analysis of the first three iterations of the annual International Verification of Neural Networks Competition (VNN-COMP) held in 2020, 2021, and 2022. In the VNN-COMP, participants submit software tools …
Mitigating Catastrophic Forgetting in Language Transfer via Model Merging

2024 · arXiv (Cornell University)

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. However, such language adaptation is often accompanied …