rodrigoramosrs/veriloop-coder-e2-nvfp4
Quantization vs tsinghua-sigs-robot-lab/VeriLoop-E2. rodrigoramosrs/veriloop-coder-e2-nvfp4 is a quantized version of the other (BF16/U8).
Quantization vs tsinghua-sigs-robot-lab/VeriLoop-E2. rodrigoramosrs/veriloop-coder-e2-nvfp4 is a quantized version of the other (BF16/U8).