File size: 1,298 Bytes
1816fff
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
{
  "source": "tsinghua-sigs-robot-lab/VeriLoop-E2",
  "revision": "9379d199adcc44acdf836558037163878e3a37ae",
  "variant": "original",
  "format": "gguf",
  "license": "apache-2.0",
  "quantization": {
    "method": "llama.cpp Q4_K_M without imatrix",
    "samples": null,
    "sequence_length": null,
    "iterations": null
  },
  "evaluation": {
    "capability_hits": 995,
    "capability_n": 1514,
    "accuracy_pct": 65.71994715984148,
    "empty": 4,
    "length_limited": 4,
    "refusal_counts": {
      "substring_any": 99,
      "substring_head": 99,
      "heretic33_any": 99,
      "ega26_any": 99,
      "short": 0,
      "empty": 0,
      "empty_but_reasoning": 0,
      "reasoning_leaked": 0,
      "errors": 0
    },
    "refusal_n": 100,
    "refusal_valid": true,
    "refusal_budget_hits": 0
  },
  "weight_files": [
    {
      "path": "LICENSE",
      "size": 11343,
      "sha256": "50cbab8a892c5f2993b8c7351a99182507472def3b1374558308605d99b86b32"
    },
    {
      "path": "mmproj-F16.gguf",
      "size": 927607488,
      "sha256": "9ce3c657f2562a40c26b2ad2ed3facb6072969a7f96e414b5cdacd1c247314d9"
    },
    {
      "path": "original-Q4_K_M.gguf",
      "size": 16547402624,
      "sha256": "7cadb13d9a6e3d6d554e58049eacfc2b9f5af31501b7f8fbd11aa4e51a19508b"
    }
  ]
}