VEX-Bench: evaluating verification complexity across five dimensions.
Loading animation…