AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement

Autor: Aggarwal, Pranjal, Parno, Bryan, Welleck, Sean

Automated code generation with large language models has gained significant traction, but there remains no guarantee on the correctness of generated code. We aim to use formal verification to provide mathematical guarantees that the generated code is

Externí odkaz: http://arxiv.org/abs/2412.06176

Measurement of the electric potential and the magnetic field in the shifted analysing plane of the KATRIN experiment

Autor: Aker, M., Batzler, D., Beglarian, A., Behrens, J., Beisenkötter, J., Biassoni, M., Bieringer, B., Biondi, Y., Block, F., Bobien, S., Böttcher, M., Bornschein, B., Bornschein, L., Caldwell, T. S., Carminati, M., Chatrabhuti, A., Chilingaryan, S., Daniel, B. A., Debowski, K., Descher, M., Barrero, D. Díaz, Doe, P. J., Dragoun, O., Drexlin, G., Edzards, F., Eitel, K., Ellinger, E., Engel, R., Enomoto, S., Felden, A., Fengler, C., Fiorini, C., Formaggio, J. A., Forstner, C., Fränkle, F. M., Gauda, K., Gavin, A. S., Gil, W., Glück, F., Grössle, R., Gumbsheimer, R., Hannen, V., Hasselmann, L., Haußmann, N., Helbing, K., Heyns, S., Hickford, S., Hiller, R., Hillesheimer, D., Hinz, D., Höhn, T., Huber, A., Jansen, A., Karl, C., Kellerer, J., Khosonthongkee, K., Köhler, C., Köllenberger, L., Kopmann, A., Kovač, N., Krause, H., La Cascio, L., Lasserre, T., Lauer, J., Le, T. L., Lebeda, O., Lehnert, B., Li, G., Lokhov, A., Machatschek, M., Mark, M., Marsteller, A., Martin, E. L., McMichael, K., Melzer, C., Mertens, S., Mohanty, S., Mostafa, J., Müller, K., Nava, A., Neumann, H., Niemes, S., Parno, D. S., Pavan, M., Pinsook, U., Poon, A. W. P., Poyato, J. M. L., Pozzi, S., Priester, F., Ráliš, J., Ramachandran, S., Robertson, R. G. H., Rodenbeck, C., Röllig, M., Sack, R., Saenz, A., Salomon, R., Schäfer, P., Schlösser, M., Schlösser, K., Schlüter, L., Schneidewind, S., Schrank, M., Schürmann, J., Schütz, A. K., Schwemmer, A., Schwenck, A., Šefčík, M., Siegmann, D., Simon, F., Spanier, F., Spreng, D., Sreethawong, W., Steidl, M., Štorek, J., Stribl, X., Sturm, M., Suwonjandee, N., Jerome, N. Tan, Telle, H. H., Thorne, L. A., Thümmler, T., Titov, N., Tkachev, I., Urban, K., Valerius, K., Vénos, D., Weinheimer, C., Welte, S., Wendel, J., Wiesinger, C., Wilkerson, J. F., Wolf, J., Wüstling, S., Wydra, J., Xu, W., Zadorozhny, S., Zeller, G.

The projected sensitivity of the effective electron neutrino-mass measurement with the KATRIN experiment is below 0.3 eV (90 % CL) after five years of data acquisition. The sensitivity is affected by the increased rate of the background electrons fro

Externí odkaz: http://arxiv.org/abs/2408.07022

Direct neutrino-mass measurement based on 259 days of KATRIN data

Autor: Aker, M., Batzler, D., Beglarian, A., Behrens, J., Beisenkötter, J., Biassoni, M., Bieringer, B., Biondi, Y., Block, F., Bobien, S., Böttcher, M., Bornschein, B., Bornschein, L., Caldwell, T. S., Carminati, M., Chatrabhuti, A., Chilingaryan, S., Daniel, B. A., Debowski, K., Descher, M., Barrero, D. Díaz, Doe, P. J., Dragoun, O., Drexlin, G., Edzards, F., Eitel, K., Ellinger, E., Engel, R., Enomoto, S., Felden, A., Fengler, C., Fiorini, C., Formaggio, J. A., Forstner, C., Fränkle, F. M., Gauda, K., Gavin, A. S., Gil, W., Glück, F., Grohmann, S., Grössle, R., Gumbsheimer, R., Gutknecht, N., Hannen, V., Hasselmann, L., Haußmann, N., Helbing, K., Henke, H., Heyns, S., Hickford, S., Hiller, R., Hillesheimer, D., Hinz, D., Höhn, T., Huber, A., Jansen, A., Karl, C., Kellerer, J., Khosonthongkee, K., Kleifges, M., Klein, M., Kohpeiß, J., Köhler, C., Köllenberger, L., Kopmann, A., Kovač, N., Kovalík, A., Krause, H., La Cascio, L., Lasserre, T., Lauer, J., Le, T., Lebeda, O., Lehnert, B., Li, G., Lokhov, A., Machatschek, M., Mark, M., Marsteller, A., Martin, E. L., Melzer, C., Mertens, S., Mohanty, S., Mostafa, J., Müller, K., Nava, A., Neumann, H., Niemes, S., Onillon, A., Parno, D. S., Pavan, M., Pinsook, U., Poon, A. W. P., Poyato, J. M. Lopez, Pozzi, S., Priester, F., Ráliš, J., Ramachandran, S., Robertson, R. G. H., Rodenbeck, C., Röllig, M., Röttele, C., Ryšavý, M., Sack, R., Saenz, A., Salomon, R., Schäfer, P., Schlösser, M., Schlösser, K., Schlüter, L., Schneidewind, S., Schnurr, U., Schrank, M., Schürmann, J., Schütz, A., Schwemmer, A., Schwenck, A., Šefčík, M., Siegmann, D., Simon, F., Spanier, F., Spreng, D., Sreethawong, W., Steidl, M., Štorek, J., Stribl, X., Sturm, M., Suwonjandee, N., Jerome, N. Tan, Telle, H. H., Thorne, L. A., Thümmler, T., Tirolf, S., Titov, N., Tkachev, I., Urban, K., Valerius, K., Vénos, D., Weinheimer, C., Welte, S., Wendel, J., Wiesinger, C., Wilkerson, J. F., Wolf, J., Wüstling, S., Wydra, J., Xu, W., Zadorozhny, S., Zeller, G.

The fact that neutrinos carry a non-vanishing rest mass is evidence of physics beyond the Standard Model of elementary particles. Their absolute mass bears important relevance from particle physics to cosmology. In this work, we report on the search

Externí odkaz: http://arxiv.org/abs/2406.13516

Democratizing Uncertainty Quantification

Autor: Seelinger, Linus, Reinarz, Anne, Lykkegaard, Mikkel B., Akers, Robert, Alghamdi, Amal M. A., Aristoff, David, Bangerth, Wolfgang, Bénézech, Jean, Diez, Matteo, Frey, Kurt, Jakeman, John D., Jørgensen, Jakob S., Kim, Ki-Tae, Kent, Benjamin M., Martinelli, Massimiliano, Parno, Matthew, Pellegrini, Riccardo, Petra, Noemi, Riis, Nicolai A. B., Rosenfeld, Katherine, Serani, Andrea, Tamellini, Lorenzo, Villa, Umberto, Dodwell, Tim J., Scheichl, Robert

Uncertainty Quantification (UQ) is vital to safety-critical model-based analyses, but the widespread adoption of sophisticated UQ methods is limited by technical complexity. In this paper, we introduce UM-Bridge (the UQ and Modeling Bridge), a high-l

Externí odkaz: http://arxiv.org/abs/2402.13768

Accessing new physics with an undoped, cryogenic CsI CEvNS detector for COHERENT at the SNS

Autor: Barbeau, P. S., Belov, V., Bernardi, I., Bock, C., Bolozdynya, A., Bouabid, R., Browning, J., Cabrera-Palmer, B., Conley, E., da Silva, V., Daughhetee, J., Detwiler, J., Ding, K., Durand, M. R., Efremenko, Y., Elliott, S. R., Erlandson, A., Fabris, L., Febbraro, M., Galindo-Uribarri, A., Green, M. P., Hakenmüller, J., Heath, M. R., Hedges, S., Johnson, B. A., Johnson, T., Khromov, A., Konovalov, A., Kozlova, E., Kumpan, A., Kyzylova, O., Link, J. M., Liu, J., Major, A., Mann, K., Markoff, D. M., Mattingly, J., Mueller, P. E., Newby, J., Ogoi, N., O'Reilly, J., Parno, D. S., Pérez-Loureiro, D., Penttila, S. I., Pershey, D., Prior, C. G., Queen, J., Rapp, R., Ray, H., Razuvaeva, O., Reyna, D., Rich, G. C., Rudik, D., Runge, J., Salvat, D. J., Sander, J., Scholberg, K., Shakirov, A., Simakov, G., Snow, W. M., Sosnovtsev, V., Stringer, M., Subedi, T., Suh, B., Sur, B., Tayloe, R., Tellez-Giron-Flores, K., Tsai, Y. -T., Vanderwerp, J., van Nieuwenhuizen, E. E., Varner, R. L., Virtue, C. J., Visser, G., Walkup, K., Ward, E. M., Wongjirad, T., Yang, Y., Yoo, J., Yu, C. -H., Zaalishvili, A.

We consider the potential for a 10-kg undoped cryogenic CsI detector operating at the Spallation Neutron Source to measure coherent elastic neutrino-nucleus scattering and its sensitivity to discover new physics beyond the standard model. Through a c

Externí odkaz: http://arxiv.org/abs/2311.13032