Can I run VeriLoop-E2 on an NVIDIA B200?

Yes

Its published weights (55.7 GB) fit in the 162 GB an NVIDIA B200 can use, with room for ≈ 256K tokens of context.

hf download tsinghua-sigs-robot-lab/VeriLoop-E2

Files and context on NVIDIA B200

Each file of VeriLoop-E2 (and of GGUF versions the site has analyzed), and how much context fits next to it, with the context cache in 16-bit or 8-bit.

VeriLoop-E2 on other hardware

Popular models that run on NVIDIA B200

Assumes 90% of the card's memory is usable and at least 4K tokens of context for one conversation, with the context cache in 16-bit unless noted. Fits leaves at least 20% of that memory for context; Tight leaves less.