VeriLoop E2 is now open — together with a full evidence-driven GGUF release from BF16 to IQ1_M
VeriLoop E2 is now open, released alongside a full evidence-driven GGUF quantization set spanning BF16 down to IQ1_M, with task-level Evaluation Evidence, a Technical Report on OpenReview, and a Riema…