538 citations
- Université Libre de BruxellesBE94 papers
- Chiba UniversityJP88 papers
- Massachusetts Institute of TechnologyUS84 papers
- Sungkyunkwan UniversityKR84 papers
- Georgia Institute of TechnologyUS83 papers
- The University of AdelaideAU82 papers
- Humboldt-Universität zu BerlinDE81 papers
- Lawrence Berkeley National LaboratoryUS81 papers
- Ruhr University BochumDE81 papers
- RWTH Aachen UniversityDE81 papers
- University of Alaska AnchorageUS81 papers
- University of CanterburyNZ81 papers
271 papers
TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation
Eric Spencer, Arslan Bisharat, Brian Ortiz +6
TLA+ is a formal specification language for verifying distributed systems and safety-critical protocols. Large language models (LLMs) frequently produce TLA+ specifications that fa…
Can LLMs Write Correct TLA+ Specifications? Evaluating Natural-Language-to-TLA+ Generation
Arslan Bisharat, Brian Ortiz, Eric Spencer +5
TLA+ has supported industrial verification at companies such as Amazon and Microsoft, yet writing correct TLA+ specifications from natural language still requires time and expertis…
The performance of the TA4 surface detector array: 4.3 years of the first-half expansion
Telescope Array Collaboration, R. U. Abbasi, T. Abu-Zayyad +126
The Telescope Array (TA) experiment aims to reveal the origin of ultra-high-energy cosmic rays (UHECRs) by observing air showers using surface detectors (SDs), which spread over an…
Cosmic ray mass composition measurement in the energy range from eV to eV observed with the TALE hybrid detector
Telescope Array Collaboration, R. U. Abbasi, T. Abu-Zayyad +126
We report on the cosmic ray mass composition measured by the Telescope Array Low-energy Extension (TALE) hybrid detector. The TALE detector consists of a fluorescence detector (FD)…
Constraints on the Population of Common Sources of Gravitational Waves and High-Energy Neutrinos with IceCube During the Third Observing Run of the LIGO and Virgo Detectors
Doğa Veske, Zsuzsa Márka, Albert Zhang
The discovery of joint sources of high-energy neutrinos and gravitational waves has been a primary target for the LIGO, Virgo, KAGRA, and IceCube observatories. The joint detection…
Heavy dark matter in rapidly evolving massive stars
Sandra Robles, Walter Tangarife, Giorgio Busoni
We study the impact of heavy dark matter (DM) captured in massive stars via scattering(s) with the star constituents. We focus on the first stars and use stellar evolution simulati…