Zobrazeno 1 - 10
of 328
pro vyhledávání: '"Mikolas, P."'
Phononic resonators are becoming increasingly important in quantum information science, both for applications in quantum computing, communication and sensing, as well as in experiments investigating fundamental physics. Here, we study the decoherence
Externí odkaz:
http://arxiv.org/abs/2410.03005
Due to the substantial number of enrollments in programming courses, a key challenge is delivering personalized feedback to students. The nature of this feedback varies significantly, contingent on the subject and the chosen evaluation method. Howeve
Externí odkaz:
http://arxiv.org/abs/2409.07362
The paper deals with the interpretability of Graph Neural Networks in the context of Boolean Satisfiability. The goal is to demystify the internal workings of these models and provide insightful perspectives into their decision-making processes. This
Externí odkaz:
http://arxiv.org/abs/2408.15418
In this work we considerably improve the state-of-the-art SMT solving on first-order quantified problems by efficient machine learning guidance of quantifier selection. Quantifiers represent a significant challenge for SMT and are technically a sourc
Externí odkaz:
http://arxiv.org/abs/2408.14338
Autor:
Mikolas, C. A., Beysengulov, N. R., Schleusner, A. J., Rees, D. G., Undershute, C., Pollanen, J.
An ensemble of electrons trapped above the surface of superfluid helium is a paradigm system for investigating, and controlling, the collective charge dynamics of low-dimensional electronic matter. Of particular interest is the ability to engineer th
Externí odkaz:
http://arxiv.org/abs/2408.11228
Publikováno v:
In the 26th international symposium on Formal Methods, FM 2024
Debugging is one of the most time-consuming and expensive tasks in software development. Several formula-based fault localization (FBFL) methods have been proposed, but they fail to guarantee a set of diagnoses across all failing tests or may produce
Externí odkaz:
http://arxiv.org/abs/2407.09337
In this work, we prove over 3000 previously ATP-unproved Mizar/MPTP problems by using several ATP and AI methods, raising the number of ATP-solved Mizar problems from 75\% to above 80\%. First, we start to experiment with the cvc5 SMT solver which us
Externí odkaz:
http://arxiv.org/abs/2406.17762
Motivated by the recent 10 million dollar AIMO challenge, this paper targets the problem of finding all functions conforming to a given specification. This is a popular problem at mathematical competitions and it brings about a number of challenges,
Externí odkaz:
http://arxiv.org/abs/2404.12048
We address the inverse problem of identifying nonlocal interaction potentials in nonlinear aggregation-diffusion equations from noisy discrete trajectory data. Our approach involves formulating and solving a regularized variational problem, which req
Externí odkaz:
http://arxiv.org/abs/2402.06355
Autor:
Esposito, Antonio, Mikolás, László
We provide a well-posedness theory for a class of nonlocal continuity equations on co-evolving graphs. We describe the connection among vertices through an edge weight function and we let it evolve in time, coupling its dynamics with the dynamics on
Externí odkaz:
http://arxiv.org/abs/2310.10350