13 citations · 25 across the 8 of their papers we have counts for
8 papers
Not All Invariants Are Equal: Curating Training Data to Accelerate Program Verification with SLMs
Ido Pinto, Yizhak Yisrael Elboher, Haoze Wu +2
The synthesis of inductive loop invariants remains a critical bottleneck in automated program verification. While Large Language Models (LLMs) show promise in mitigating this issue…
Probing Late-Stage Hadronic Interactions at High Baryon Density via Production in the RHIC Beam Energy Scan Program
STAR Collaboration, B. E. Aboona, J. Adam +360
A precision measurement of the meson yield is reported in Au+Au collisions at and using the high-statistic…
Identified charged hadron production in Au+Au collisions at = 54.4 GeV with the STAR detector
STAR Collaboration, B. E. Aboona, J. Adam +360
We present results on the production of , , , and in Au+Au collisions at = 54.4~GeV using the STAR detector at RHIC, at midrap…
Observation of charmonium sequential suppression in heavy-ion collisions at the Relativistic Heavy Ion Collider
STAR Collaboration, B. E. Aboona, J. Adam +370
We report measurements of charmonium sequential suppression in Ru+Ru and Zr+Zr collisions at = 200 GeV with the STAR experiment at the Relativistic Heavy…
Energy Independence of the Collins Asymmetry in Collisions
STAR Collaboration, B. E. Aboona, J. Adam +367
The STAR experiment reports new, high-precision measurements of the transverse single-spin asymmetries for within jets, namely the Collins asymmetries, from transversely…
Onset of Constituent Quark Number Scaling in Heavy-Ion Collisions at RHIC
STAR Collaboration, B. E. Aboona, J. Adam +355
Partonic collectivity is one of the necessary signatures for the formation of quark-gluon plasma in high-energy nuclear collisions. Number of constituent quarks (NCQ) scaling has b…
Measurement of Kaon Directed Flow in Au+Au Collisions in the High Baryon Density Region
STAR Collaboration, B. E. Aboona, J. Adam +360
Rapidity-odd directed flow measurements are presented for and in AuAu collisions at = 3.0, 3.2, 3.5, and 3.9 GeV with the STAR exp…
Measurement of flow coefficients in high-multiplicity +Au, +Au and HeAu collisions at =200 GeV
STAR Collaboration, M. I. Abdulhamid, B. E. Aboona +350
Flow coefficients ( and ) are measured in high-multiplicity +Au, +Au, and HeAu collisions at a center-of-mass energy of = 200 G…