Người dùng Reddit đánh giá cao mô hình VeriLoop-E2 cho các tác vụ mã nguồn
Một người dùng trên cộng đồng r/LocalLLaMA đã chia sẻ về VeriLoop-E2, một mô hình 27B tinh chỉnh chuyên biệt, báo cáo hiệu suất làm việc ấn tượng trên các tác vụ phát triển phần mềm khi dùng phiên bản định lượng IQ3_S. Điều này cho thấy các mô hình mở được tinh chỉnh chuyên biệt kết hợp với kỹ thuật định lượng dung lượng thấp như IQ3_S giúp người dùng chạy mượt mà trợ lý lập trình chất lượng cao ngay trên phần cứng cá nhân. Được phát triển bởi Tsinghua SIGS Robot Lab dựa trên Qwen3.8-27B, VeriLoop-E2 sử dụng cơ chế VeriLoop-Governed Recurrence (VGR) để tách biệt việc tạo mã và xác thực. Người dùng đề xuất định dạng IQ3_S GGUF, giúp nén mô hình xuống khoảng 3.25 bit cho mỗi trọng số để tiết kiệm bộ nhớ VRAM.
## KIẾN THỨC NỀN
VeriLoop-E2 là mô hình ngôn ngữ mở 27 tỷ tham số được thiết kế cho việc sinh mã có thể kiểm chứng, lý luận toán học và quy trình làm việc tự động (agentic). IQ3_S là một phương pháp định lượng dựa trên ma trận tầm quan trọng (i-matrix) trong llama.cpp, cho phép các LLM lớn chạy hiệu quả trên GPU nhỏ mà ít làm giảm chất lượng lý luận.