Implicit Rankings for Verifying Liveness Properties in First-Order Logic

Autor: Lotan, Raz, Shoham, Sharon

Liveness properties are traditionally proven using a ranking function that maps system states to some well-founded set. Carrying out such proofs in first-order logic enables automation by SMT solvers. However, reasoning about many natural ranking fun

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

A Grounded Typology of Word Classes

Autor: Haley, Coleman, Goldwater, Sharon, Ponti, Edoardo

We propose a grounded approach to meaning in language typology. We treat data from perceptual modalities, such as images, as a language-agnostic representation of meaning. Hence, we can quantify the function--form relationship between images and capt

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

Multiprobe Cosmology from the Abundance of SPT Clusters and DES Galaxy Clustering and Weak Lensing

Autor: Bocquet, S., Grandis, S., Krause, E., To, C., Bleem, L. E., Klein, M., Mohr, J. J., Schrabback, T., Alarcon, A., Alves, O., Amon, A., Andrade-Oliveira, F., Baxter, E. J., Bechtol, K., Becker, M. R., Bernstein, G. M., Blazek, J., Camacho, H., Campos, A., Rosell, A. Carnero, Kind, M. Carrasco, Cawthon, R., Chang, C., Chen, R., Choi, A., Cordero, J., Crocce, M., Davis, C., DeRose, J., Diehl, H. T., Dodelson, S., Doux, C., Drlica-Wagner, A., Eckert, K., Eifler, T. F., Elsner, F., Elvin-Poole, J., Everett, S., Fang, X., Ferté, A., Fosalba, P., Friedrich, O., Frieman, J., Gatti, M., Giannini, G., Gruen, D., Gruendl, R. A., Harrison, I., Hartley, W. G., Herner, K., Huang, H., Huff, E. M., Huterer, D., Jarvis, M., Kuropatkin, N., Leget, P. -F., Lemos, P., Liddle, A. R., MacCrann, N., McCullough, J., Muir, J., Myles, J., Navarro-Alsina, A., Pandey, S., Park, Y., Porredon, A., Prat, J., Raveri, M., Rollins, R. P., Roodman, A., Rosenfeld, R., Rykoff, E. S., Sánchez, C., Sanchez, J., Secco, L. F., Sevilla-Noarbe, I., Sheldon, E., Shin, T., Troxel, M. A., Tutusaus, I., Varga, T. N., Weaverdyck, N., Wechsler, R. H., Wu, H. -Y., Yanny, B., Yin, B., Zhang, Y., Zuntz, J., Abbott, T. M. C., Ade, P. A. R., Aguena, M., Allam, S., Allen, S. W., Anderson, A. J., Ansarinejad, B., Austermann, J. E., Bayliss, M., Beall, J. A., Bender, A. N., Benson, B. A., Bianchini, F., Brodwin, M., Brooks, D., Bryant, L., Burke, D. L., Canning, R. E. A., Carlstrom, J. E., Carretero, J., Castander, F. J., Chang, C. L., Chaubal, P., Chiang, H. C., Chou, T-L., Citron, R., Moran, C. Corbett, Costanzi, M., Crawford, T. M., Crites, A. T., da Costa, L. N., Pereira, M. E. S., Davis, T. M., de Haan, T., Dobbs, M. A., Doel, P., Everett, W., Farahi, A., Flaugher, B., Flores, A. M., Floyd, B., Gallicchio, J., Gaztanaga, E., George, E. M., Gladders, M. D., Gupta, N., Gutierrez, G., Halverson, N. W., Hinton, S. R., Hlavacek-Larrondo, J., Holder, G. P., Hollowood, D. L., Holzapfel, W. L., Hrubes, J. D., Huang, N., Hubmayr, J., Irwin, K. D., James, D. J., Kéruzoré, F., Khullar, G., Kim, K., Knox, L., Kraft, R., Kuehn, K., Lahav, O., Lee, A. T., Lee, S., Li, D., Lidman, C., Lima, M., Lowitz, A., Mahler, G., Mantz, A., Marshall, J. L., McDonald, M., McMahon, J. J., Mena-Fernández, J., Meyer, S. S., Miquel, R., Montgomery, J., Natoli, T., Nibarger, J. P., Noble, G. I., Novosad, V., Ogando, R. L. C., Padin, S., Paschos, P., Patil, S., Malagón, A. A. Plazas, Pryke, C., Reichardt, C. L., Roberson, J., Romer, A. K., Romero, C., Ruhl, J. E., Saliwanchik, B. R., Salvati, L., Samuroff, S., Sanchez, E., Santiago, B., Sarkar, A., Saro, A., Schaffer, K. K., Sharon, K., Sievers, C., Smecher, G., Smith, M., Somboonpanyakul, T., Sommer, M., Stalder, B., Stark, A. A., Stephen, J., Strazzullo, V., Suchyta, E., Swanson, M. E. C., Tarle, G., Thomas, D., Tucker, C., Tucker, D. L., Veach, T., Vieira, J. D., von der Linden, A., Wang, G., Whitehorn, N., Wu, W. L. K., Yefremenko, V., Young, M., Zebrowski, J. A., Zohren, H., Collaboration, DES, Collaboration, SPT

Cosmic shear, galaxy clustering, and the abundance of massive halos each probe the large-scale structure of the universe in complementary ways. We present cosmological constraints from the joint analysis of the three probes, building on the latest an

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

Exploring the Potential of Llama Models in Automated Code Refinement: A Replication Study

Autor: Caumartin, Genevieve, Qin, Qiaolin, Chatragadda, Sharon, Panjrolia, Janmitsinh, Li, Heng, Costa, Diego Elias

Code reviews are an integral part of software development and have been recognized as a crucial practice for minimizing bugs and favouring higher code quality. They serve as an important checkpoint before committing code and play an essential role in

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

The use of large language models to enhance cancer clinical trial educational materials

Autor: Gao, Mingye, Varshney, Aman, Chen, Shan, Goddla, Vikram, Gallifant, Jack, Doyle, Patrick, Novack, Claire, Dillon-Martin, Maeve, Perkins, Teresia, Correia, Xinrong, Duhaime, Erik, Isenstein, Howard, Sharon, Elad, Lehmann, Lisa Soleymani, Kozono, David, Anthony, Brian, Dligach, Dmitriy, Bitterman, Danielle S.

Cancer clinical trials often face challenges in recruitment and engagement due to a lack of participant-facing informational and educational resources. This study investigated the potential of Large Language Models (LLMs), specifically GPT4, in gener

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