TY  - RPRT
TI  - Efficient Branch-and-Bound Testing and Verification of zkVMs
AU  - Hideaki Takahashi
AU  - Suman Jana
AU  - Junfeng Yang
PY  - 2026
UR  - https://arxiv.org/abs/2609.15020
ID  - 2609.15020
ER  -