Zobrazeno 1 - 10
of 7 431
pro vyhledávání: '"Nyberg P"'
The paper studies how code generation by LLMs can be combined with formal verification to produce critical embedded software. The first contribution is a general framework, spec2code, in which LLMs are combined with different types of critics that pr
Externí odkaz:
http://arxiv.org/abs/2411.13269
Autor:
Pasqualato, G., Ansari, S., Heines, J. S., Modamio, V., Görgen, A., Korten, W., Ljungvall, J., Clément, E., Dudouet, J., Lemasson, A., Rodríguez, T. R., Allmond, J. M., Arici, T., Beckmann, K. S., Bruce, A. M., Doherty, D., Esmaylzadeh, A., Gamba, E. R., Gerhard, L., Gerl, J., Georgiev, G., Ivanova, D. P., Jolie, J., Kim, Y. -H., Knafla, L., Korichi, A., Koseoglou, P., Labiche, M., Lalkovski, S., Lauritsen, T., Li, H. -J., Pedersen, L. G., Pietri, S., Ralet, D., Regis, J. M., Rudigier, M., Saha, S., Sahin, E., Siem, S., Singh, P., öderström, P. -A., Theisen, C., Tornyi, T., Vandebrouck, M., Witt, W., Zielińska, M., Barrientos, D., Bednarczyk, P., Benzoni, G., Boston, A. J., Boston, H. C., Bracco, A., Cederwall, B, Ciemala, M., de France, G., Domingo-Pardo, C., Eberth, J., Gadea, A., González, V., Gottardo, A., Harkness-Brennan, L. J., Hess, H., Judson, D. S., Jungclaus, A., Lenzi, S. M., Leoni, S., Menegazzo, R., Mengoni, D., Michelagnoli, C., Napoli, D. R., Nyberg, J., Podolyak, Zs., Pullia, A., Recchia, F., Reiter, P., Rezynkina, K., Salsac, M. D., Sanchis, E., Şenyiğit, M., Siciliano, M., Simpson, J., Sohler, D., Stezowski, O., Valiente-Dobón, J. J., Verney, D.
Publikováno v:
Eur. Phys. J. A (2023) 59:276
The Zirconium (Z = 40) isotopic chain has attracted interest for more than four decades. The abrupt lowering of the energy of the first $2^+$ state and the increase in the transition strength B(E2; $2_1^\rightarrow 0_1^+$ going from $^{98}$Zr to $^{1
Externí odkaz:
http://arxiv.org/abs/2410.17004
Autor:
Akter, Syeda Nahida, Prabhumoye, Shrimai, Kamalu, John, Satheesh, Sanjeev, Nyberg, Eric, Patwary, Mostofa, Shoeybi, Mohammad, Catanzaro, Bryan
The utility of synthetic data to enhance pretraining data quality and hence to improve downstream task accuracy has been widely explored in recent large language models (LLMs). Yet, these approaches fall inadequate in complex, multi-hop and mathemati
Externí odkaz:
http://arxiv.org/abs/2410.12881
Autor:
Paxman, C. J., Matta, A., Catford, W. N., Lotay, G., Assié, M., Clément, E., Lemasson, A., Ramos, D., Orr, N. A., Galtarossa, F., Girard-Alcindor, V., Dudouet, J., Achouri, N. L., Ackermann, D., Barrientos, D., Beaumel, D., Bednarczyk, P., Benzoni, G., Bracco, A., Canete, L., Cederwall, B., Ciemala, M., Delahaye, P., Doherty, D. T., Domingo-Pardo, C., Fernández-Domínguez, B., Fernández, D., Flavigny, F., Fougères, C., de France, G., Franchoo, S., Gadea, A., Gibelin, J., González, V., Gottardo, A., Goyal, N., Hammache, F., Harkness-Brennan, L. J., Harrouz, D. S., Jacquot, B., Judson, D. S., Jungclaus, A., Kaşkaş, A., Korten, W., Labiche, M., Lalanne, L., Lenain, C., Leoni, S., Ljungvall, J., Lois-Fuentes, J., Lokotko, T., Lopez-Martens, A., Maj, A., Marqués, F. M., Martel, I., Menegazzo, R., Mengoni, D., Million, B., Nyberg, J., Pérez-Vidal, R. M., Plagnol, L., Podolyák, Zs., Pullia, A., Quintana, B., Regueira-Castro, D., Reiter, P., Rejmund, M., Rezynkina, K., Sanchis, E., Şenyiğit, M., de Séréville, N., Siciliano, M., Sohler, D., Stezowski, O., Thomas, J. -C., Utepov, A., Valiente-Dobón, J. J., Verney, D., Zielińska, M.
We present the first measurement of the $^{47}$K($d,p\gamma$)$^{48}$K transfer reaction, performed in inverse kinematics using a reaccelerated beam of $^{47}$K. The level scheme of $^{48}$K has been greatly extended with nine new bound excited states
Externí odkaz:
http://arxiv.org/abs/2409.12594
We study several natural decision problems in braid groups and Artin groups. We classify the Artin groups with decidable submonoid membership problem in terms of the non-existence of certain forbidden induced subgraphs of the defining graph. Furtherm
Externí odkaz:
http://arxiv.org/abs/2409.11335
Domain-specific question answering remains challenging for language models, given the deep technical knowledge required to answer questions correctly. This difficulty is amplified for smaller language models that cannot encode as much information in
Externí odkaz:
http://arxiv.org/abs/2408.10808
Autor:
Nyberg-Brodda, Carl-Fredrik
The free regular $\star$-monoid of rank $r$ is the freest $r$-generated regular monoid $\mathbf{F}_r^\star$ in which every element $m$ has a distinguished pseudo-inverse $m^\star$ satisfying $mm^\star m = m$ and $(m^\star)^\star = m$. We study the gr
Externí odkaz:
http://arxiv.org/abs/2408.05986
Autor:
Van De Vyver, Gilles, Måsøy, Svein-Erik, Dalen, Håvard, Grenne, Bjørnar Leangen, Holte, Espen, Olaisen, Sindre Hellum, Nyberg, John, Østvik, Andreas, Løvstakken, Lasse, Smistad, Erik
Automatic estimation of cardiac ultrasound image quality can be beneficial for guiding operators and ensuring the accuracy of clinical measurements. Previous work often fails to distinguish the view correctness of the echocardiogram from the image qu
Externí odkaz:
http://arxiv.org/abs/2408.00591
We compute the rate of exponential growth of the free inverse monoid of rank $r$ (and hence an upper bound on the corresponding rate for all $r$-generated inverse monoids and semigroups). This turns out to be an algebraic number strictly between the
Externí odkaz:
http://arxiv.org/abs/2407.10489
Autor:
Nyberg, Jakob, Johnson, Pontus
We believe that agents for automated incident response based on machine learning need to handle changes in network structure. Computer networks are dynamic, and can naturally change in structure over time. Retraining agents for small network changes
Externí odkaz:
http://arxiv.org/abs/2407.05775