I. Pinto

activity

20232026

most citedOnset of Constituent Quark Number Scaling in Heavy-Ion Collisions at RHIC

13 citations · 25 across the 8 of their papers we have counts for

collaborators

Showing 2026Show all

2 papers · 1 filter

cs.LG2026

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…

nucl-ex2026★ 2 cited

Probing Late-Stage Hadronic Interactions at High Baryon Density via $K^{* 0}$ Production in the RHIC Beam Energy Scan Program

STAR Collaboration, B. E. Aboona, J. Adam +360

A precision measurement of the $K^{* 0}$ meson yield is reported in Au+Au collisions at $s_{N N} = 7.7, 11.5, 14.6, 19.6,$ and $27 GeV$ using the high-statistic…

Not All Invariants Are Equal: Curating Training Data to Accelerate Program Verification with SLMs

Probing Late-Stage Hadronic Interactions at High Baryon Density via K∗0 Production in the RHIC Beam Energy Scan Program

Probing Late-Stage Hadronic Interactions at High Baryon Density via $K^{* 0}$ Production in the RHIC Beam Energy Scan Program