3 citations
- University of PennsylvaniaUS6 papers
- Stanford UniversityUS3 papers
- University of CambridgeGB2 papers
- University of WashingtonUS2 papers
- A. Alikhanyan National LaboratoryAM1 paper
- AGH University of KrakowPL1 paper
- Agricultural University of GeorgiaGE1 paper
- Aix-Marseille UniversitéFR1 paper
- Al Ain UniversityAE1 paper
- Alexandru Ioan Cuza UniversityRO1 paper
- American Committee for the Weizmann Institute of ScienceUS1 paper
- Ankara UniversityTR1 paper
10 papers
Prismriver: Formalization of Music Theory and Algorithmic Composition in Lean 4
Leni Aniva, Claire Wang
Music theory obeys a rich set of mathematical rules and symmetries. These symmetries follow mathematical structures which can be verified and expressed in the precise language of a…
Fail Faster: Staging and Fast Randomness for High-Performance PBT
Cynthia Richey, Joseph W. Cutler, Harrison Goldstein +1
Property-based testing (PBT) relies on generators for random test cases, often constructed using embedded domain specific languages, which provide expressive combinators for buildi…
Do Language Models Pass the Bechdel Test? Auditing Gender Biases in LLM-Generated Screenplays
Megha N. Govindu, Stephanie T. Wang, Sorelle A. Friedler +1
As large language models (LLMs) are increasingly used in media production from journalistm to filmmaking, what impact do they have on the stories being told? Prior work has shown L…
Expert-Driven Survival Machines: Improving Stratification and Interpretability in Multiple Clinical Cohorts
Farica Zhuang, Zixuan Wen, Christos Davatzikos +1
Survival prediction plays a central role for healthcare providers and clinical researchers. Accurate risk stratification enables early intervention and improved patient management.…
Study of Particle Fluence Effects on Collected Charge and Depletion Voltage of the ATLAS IBL Planar Pixel Sensors
ATLAS Collaboration
After ten years of operation at the LHC, the planar pixel sensors of the innermost barrel layer of the ATLAS Pixel detector have accumulated an average bulk damage fluence in exces…
The 2025 AI Agent Index: Documenting Technical and Safety Features of Deployed Agentic AI Systems
Leon Staufer, Kevin Feng, Kevin Wei +6
Agentic AI systems are increasingly capable of performing professional and personal tasks with limited human involvement. However, tracking these developments is difficult because…