2 papers
cs.SE2026
AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms
Haoyu Zhao, Ziran Yang, Jiawei Li +6
Vericoding refers to the generation of formally verified code from rigorous specifications. Recent AI models show promise in vericoding, but a unified methodology for cross-paradig…
hep-ex2026
Measuring spin correlation between quarks during QCD confinement
The STAR Collaboration
The vacuum is now understood to possess a rich and complex structure, characterized by fluctuating energy fields and a condensate of virtual quark-antiquark pairs. The spontaneous…