25 citations
- University of Hawaii SystemUS7 papers
- University of Hawaiʻi at MānoaUS6 papers
- Indiana University BloomingtonUS3 papers
- Massachusetts Institute of TechnologyUS3 papers
- Stanford UniversityUS3 papers
- University of Wisconsin–MadisonUS3 papers
- California Institute of TechnologyUS2 papers
- Carnegie Mellon UniversityUS2 papers
- Emory UniversityUS2 papers
- Goethe University FrankfurtDE2 papers
- Helmholtz Institute MainzDE2 papers
- Hunan UniversityCN2 papers
7 papers
An eclipsing 8.56 minute orbital period mass-transferring binary
Emma T. Chickles, Joheen Chakraborty, Kevin B. Burdge +34
We report the discovery of ATLAS J101342.5-451656.8 (hereafter ATLAS J1013-4516), an 8.56 minute orbital period mass transferring AM Canum Venaticorum binary with mean Gaia magnitu…
Humanity's Last Exam
Long Phan, Alice Gatti, Ziwen Han +1144
Benchmarks are important tools for tracking the rapid advancements in large language model (LLM) capabilities. However, benchmarks are not keeping pace in difficulty: LLMs now achi…
Jailbreaking and Mitigation of Vulnerabilities in Large Language Models
Benji Peng, Hanxuan Chen, Keyu Chen +12
Large Language Models (LLMs) have transformed artificial intelligence by advancing natural language understanding and generation, enabling applications across fields beyond healthc…
Search for the lepton flavor violating decay
BESIII Collaboration, M. Ablikim, M. N. Achasov +563
We present a search for the lepton flavor violating decay using events collected with the BESIII detector at the BEPCII st…
Electron Scattering and Neutrino Physics
A. M. Ankowski, A. Ashkenazi, S. Bacca +50
A thorough understanding of neutrino-nucleus scattering physics is crucial for the successful execution of the entire US neutrino physics program. Neutrino-nucleus interaction cons…
Probabilistic annotations for protocol models
Dusko Pavlovic
We describe how a probabilistic Hoare logic with localities can be used for reasoning about security. As a proof-of-concept, we analyze Vernam and El-Gamal cryptosystems, prove the…