Hugging Face's logo

invariant-computing-lab
/
icl-native-r5-opcode

research
custom-code
program-synthesis
Model card Files
xet
 Community
icl-native-r5-opcode
File size: 1,587 Bytes
2e4432d
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
{
  "version": "0.2.1",
  "keywords": [
    "else",
    "false",
    "fn",
    "if",
    "import",
    "let",
    "limit",
    "module",
    "return",
    "true",
    "type",
    "var",
    "while"
  ],
  "operators": [
    "+",
    "-",
    "*",
    "/",
    "%",
    "==",
    "!=",
    "<",
    "<=",
    ">",
    ">=",
    "&&",
    "||",
    "!"
  ],
  "builtins": [
    "abs",
    "add",
    "approx",
    "approx_value",
    "context",
    "convert_frame",
    "err_int",
    "exact_value",
    "is_some",
    "len",
    "make_witness",
    "matmul",
    "max",
    "min",
    "mul",
    "none_int",
    "normalize",
    "observe_mod",
    "observer",
    "ok",
    "provenance",
    "random_int",
    "recover",
    "recover_without_witness",
    "relu",
    "repr_add",
    "repr_value",
    "represent",
    "request_effect",
    "reshape",
    "softmax",
    "some",
    "sub",
    "sum",
    "tanh",
    "tensor",
    "to_float",
    "unwrap"
  ],
  "ast_kinds": [
    "literal",
    "var",
    "binary",
    "unary",
    "call",
    "list",
    "record",
    "tuple",
    "index",
    "field",
    "let",
    "assign",
    "if",
    "while",
    "return",
    "expr"
  ],
  "types": [
    "Bool",
    "Int64",
    "Float64",
    "String",
    "List",
    "Tuple",
    "Record",
    "Option",
    "Result",
    "Tensor",
    "Observer",
    "Context",
    "Representation",
    "ProvenanceRef",
    "RecoveryWitness",
    "Capability",
    "Exact",
    "Approx"
  ],
  "token_policy": "ASCII identifiers; UTF-8 string content; no invisible controls or unpaired surrogates"
}