TY  - RPRT
TI  - PACIFIC: a framework for generating benchmarks to check Precise Automatically Checked Instruction Following In Code
AU  - Itay Dreyfuss
AU  - Antonio Abu Nassar
AU  - Samuel Ackerman
AU  - Axel Ben David
AU  - Eitan Farchi
AU  - Rami Katan
AU  - Orna Raz
AU  - Marcel Zalmanovici
PY  - 2025
UR  - https://arxiv.org/abs/2512.10713
ID  - 2512.10713
ER  -