Zobrazeno 1 - 10
of 4 798
pro vyhledávání: '"CASSANO P"'
Autor:
Wang, Evan, Cassano, Federico, Wu, Catherine, Bai, Yunfeng, Song, Will, Nath, Vaskar, Han, Ziwen, Hendryx, Sean, Yue, Summer, Zhang, Hugh
While scaling training compute has led to remarkable improvements in large language models (LLMs), scaling inference compute has not yet yielded analogous gains. We hypothesize that a core missing component is a lack of diverse LLM outputs, leading t
Externí odkaz:
http://arxiv.org/abs/2409.03733
Autor:
Ljajić, Adela, Košprdić, Miloš, Bašaragin, Bojana, Medvecki, Darija, Cassano, Lorenzo, Milošević, Nikola
In this paper, we introduce the VerifAI project, a pioneering open-source scientific question-answering system, designed to provide answers that are not only referenced but also automatically vetted and verifiable. The components of the system are (1
Externí odkaz:
http://arxiv.org/abs/2407.11485
Publikováno v:
Proceedings of Blockchain-2024
In this paper, we present a study of a Federated Learning (FL) system, based on the use of decentralized architectures to ensure trust and increase reliability. The system is based on the idea that the FL collaborators upload the (ciphered) model par
Externí odkaz:
http://arxiv.org/abs/2407.06862
Autor:
Bašaragin, Bojana, Ljajić, Adela, Medvecki, Darija, Cassano, Lorenzo, Košprdić, Miloš, Milošević, Nikola
Large language models (LLMs) have recently become the leading source of answers for users' questions online. Despite their ability to offer eloquent answers, their accuracy and reliability can pose a significant challenge. This is especially true for
Externí odkaz:
http://arxiv.org/abs/2407.05015
Labelled tableaux have been a traditional approach to define satisfiability checking procedures for Modal Logics. In many cases, they can also be used to obtained tight complexity bounds and lead to efficient implementations of reasoning tools. More
Externí odkaz:
http://arxiv.org/abs/2406.12090
Autor:
Pasini, T., de Gasperin, F., Brüggen, M., Cassano, R., Botteon, A., Brunetti, G., Edler, H. W., van Weeren, R. J., Cuciti, V., Di Gennaro, T. Shimwell. G., Gaspari, M., Hardcastle, M., Rottgering, H. J. A., Tasse, C.
A fraction of galaxy clusters harbor diffuse radio sources known as radio halos. The currently adopted scenario for their formation is based on second-order Fermi re-acceleration of seed electrons that is driven by merger-driven turbulence in the int
Externí odkaz:
http://arxiv.org/abs/2406.12005
Autor:
Loughridge, Chloe, Sun, Qinyi, Ahrenbach, Seth, Cassano, Federico, Sun, Chuyue, Sheng, Ying, Mudide, Anish, Misu, Md Rakib Hossain, Amin, Nada, Tegmark, Max
We introduce DafnyBench, the largest benchmark of its kind for training and evaluating machine learning systems for formal software verification. We test the ability of LLMs such as GPT-4 and Claude 3 to auto-generate enough hints for the Dafny forma
Externí odkaz:
http://arxiv.org/abs/2406.08467
We discuss Q-absolutely continuous functions between Carnot groups, following Maly's definition for maps of several variables. Such maps enjoy nice regularity properties, like continuity, Pansu differentiability a.e., weak differentiability and an Ar
Externí odkaz:
http://arxiv.org/abs/2405.05024
Autor:
Pignataro, G. V., Bonafede, A., Bernardi, G., de Gasperin, F., Brunetti, G., Pasini, T., Vazza, F., Biava, N., de Jong, J. M. G. H. J., Cassano, R., Botteon, A., Brüggen, M., Röttgering, H. J. A., van Weeren, R. J., Shimwell, T. W.
Publikováno v:
A&A 685, L10 (2024)
Recent low-frequency radio observations at 140 MHz discovered a 3 Mpc-long bridge of diffuse emission connecting the galaxy clusters Abell 0399 and Abell 0401. We present follow-up observations at 60 MHz to constrain the spectral index of the bridge,
Externí odkaz:
http://arxiv.org/abs/2405.00772
Autor:
Cassano, Stefano, Sossan, Fabrizio
Classical schedulers for Battery Energy Storage Systems (BESSs) use static power constraints, assuming that the BESS can provide the rated power at any State-Of-Charge (SOC) level and that these are representative of the underlying physical constrain
Externí odkaz:
http://arxiv.org/abs/2403.16821