TY  - RPRT
TI  - Inference-Time Code Selection via Symbolic Equivalence Partitioning
AU  - David Cho
AU  - Yifan Wang
AU  - Fanping Sui
AU  - Ananth Grama
PY  - 2026
UR  - https://arxiv.org/abs/2604.06485
ID  - 2604.06485
ER  -