14 citations
- Sungkyunkwan UniversityKR6 papers
- Université Libre de BruxellesBE6 papers
- University of UtahUS6 papers
- The University of AdelaideAU5 papers
- Chiba UniversityJP4 papers
- Chung-Ang UniversityKR4 papers
- Columbia UniversityUS4 papers
- Deutsches Elektronen-Synchrotron DESYDE4 papers
- Drexel UniversityUS4 papers
- Friedrich-Alexander-Universität Erlangen-NürnbergDE4 papers
- Georgia Institute of TechnologyUS4 papers
- Humboldt-Universität zu BerlinDE4 papers
10 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…
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 +128
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…
Search for GeV-scale Dark Matter from the Galactic Center with IceCube-DeepCore
The IceCube Collaboration, R. Abbasi, M. Ackermann +431
Models describing dark matter as a novel particle often predict that its annihilation or decay into Standard Model particles could produce a detectable neutrino flux in regions of…
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…
A fractional notion of length and an associated nonlocal curvature
Brian Seguin
Here a new notion of fractional length of a smooth curve, which depends on a parameter , is introduced that is analogous to the fractional perimeter functional of sets that has…
Improved measurements of the TeV-PeV extragalactic neutrino spectrum from joint analyses of IceCube tracks and cascades
R. Abbasi, M. Ackermann, J. Adams +424
The IceCube South Pole Neutrino Observatory has discovered the presence of a diffuse astrophysical neutrino flux at energies of TeV and beyond using neutrino induced muon tracks an…