Zobrazeno 1 - 10
of 732
pro vyhledávání: '"Mezini, A."'
Autor:
Dutta, Subhabrata, Kaufmann, Timo, Glavaš, Goran, Habernal, Ivan, Kersting, Kristian, Kreuter, Frauke, Mezini, Mira, Gurevych, Iryna, Hüllermeier, Eyke, Schuetze, Hinrich
While there is a widespread belief that artificial general intelligence (AGI) -- or even superhuman AI -- is imminent, complex problems in expert domains are far from being solved. We argue that such problems require human-AI cooperation and that the
Externí odkaz:
http://arxiv.org/abs/2408.07461
Large Language Models trained on code corpora (code-LLMs) have demonstrated impressive performance in various coding assistance tasks. However, despite their increased size and training dataset, code-LLMs still have limitations such as suggesting cod
Externí odkaz:
http://arxiv.org/abs/2406.11930
We investigate the distributions of subhalos about their hosts in two suites of zoom-in N-body simulations of halo growth -- one suite focused on Milky Way Mass halos ($\sim 10^{12} \mathrm{M}_{\odot}$) and another focused on cluster ($\sim 10^{15} \
Externí odkaz:
http://arxiv.org/abs/2406.10150
Linear algebra computations are foundational for neural networks and machine learning, often handled through arrays. While many functional programming languages feature lists and recursion, arrays in linear algebra demand constant-time access and bul
Externí odkaz:
http://arxiv.org/abs/2405.18242
Mixed-consistency programming models assist programmers in designing applications that provide high availability while still ensuring application-specific safety invariants. However, existing models often make specific system assumptions, such as bui
Externí odkaz:
http://arxiv.org/abs/2405.15578
Autor:
Wickert, Anna-Katharina, Schlichtig, Michael, Vogel, Marvin, Winter, Lukas, Mezini, Mira, Bodden, Eric
Context: Static analyses are well-established to aid in understanding bugs or vulnerabilities during the development process or in large-scale studies. A low false-positive rate is essential for the adaption in practice and for precise results of emp
Externí odkaz:
http://arxiv.org/abs/2403.07808
Autor:
Derstroff, Cedric, Brugger, Jannis, Blüml, Jannis, Mezini, Mira, Kramer, Stefan, Kersting, Kristian
Monte-Carlo tree search (MCTS) is an effective anytime algorithm with a vast amount of applications. It strategically allocates computational resources to focus on promising segments of the search tree, making it a very attractive search algorithm in
Externí odkaz:
http://arxiv.org/abs/2402.08511
It is expected that in the near future, AI software development assistants will play an important role in the software industry. However, current software development assistants tend to be unreliable, often producing incorrect, unsafe, or low-quality
Externí odkaz:
http://arxiv.org/abs/2312.09126
Automatic Differentiation (AD) has become a dominant technique in ML. AD frameworks have first been implemented for imperative languages using tapes. Meanwhile, functional implementations of AD have been developed, often based on dual numbers, which
Externí odkaz:
http://arxiv.org/abs/2307.02447
The Go programming language offers strong protection from memory corruption. As an escape hatch of these protections, it provides the unsafe package. Previous studies identified that this unsafe package is frequently used in real-world code for sever
Externí odkaz:
http://arxiv.org/abs/2306.00694