Hodlforjesus commited on
Commit
f5f22fd
·
verified ·
1 Parent(s): 670ff8d

ILM v1.0.0

Browse files
.gitattributes CHANGED
@@ -33,3 +33,6 @@ saved_model/**/* filter=lfs diff=lfs merge=lfs -text
33
  *.zip filter=lfs diff=lfs merge=lfs -text
34
  *.zst filter=lfs diff=lfs merge=lfs -text
35
  *tfevents* filter=lfs diff=lfs merge=lfs -text
 
 
 
 
33
  *.zip filter=lfs diff=lfs merge=lfs -text
34
  *.zst filter=lfs diff=lfs merge=lfs -text
35
  *tfevents* filter=lfs diff=lfs merge=lfs -text
36
+ ilm-linux-x86_64 filter=lfs diff=lfs merge=lfs -text
37
+ ilm-macos-arm64 filter=lfs diff=lfs merge=lfs -text
38
+ ilm-windows-x86_64.exe filter=lfs diff=lfs merge=lfs -text
LICENSE ADDED
@@ -0,0 +1,176 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ Apache License
2
+ Version 2.0, January 2004
3
+ http://www.apache.org/licenses/
4
+
5
+ TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
6
+
7
+ 1. Definitions.
8
+
9
+ "License" shall mean the terms and conditions for use, reproduction,
10
+ and distribution as defined by Sections 1 through 9 of this document.
11
+
12
+ "Licensor" shall mean the copyright owner or entity authorized by
13
+ the copyright owner that is granting the License.
14
+
15
+ "Legal Entity" shall mean the union of the acting entity and all
16
+ other entities that control, are controlled by, or are under common
17
+ control with that entity. For the purposes of this definition,
18
+ "control" means (i) the power, direct or indirect, to cause the
19
+ direction or management of such entity, whether by contract or
20
+ otherwise, or (ii) ownership of fifty percent (50%) or more of the
21
+ outstanding shares, or (iii) beneficial ownership of such entity.
22
+
23
+ "You" (or "Your") shall mean an individual or Legal Entity
24
+ exercising permissions granted by this License.
25
+
26
+ "Source" form shall mean the preferred form for making modifications,
27
+ including but not limited to software source code, documentation
28
+ source, and configuration files.
29
+
30
+ "Object" form shall mean any form resulting from mechanical
31
+ transformation or translation of a Source form, including but
32
+ not limited to compiled object code, generated documentation,
33
+ and conversions to other media types.
34
+
35
+ "Work" shall mean the work of authorship, whether in Source or
36
+ Object form, made available under the License, as indicated by a
37
+ copyright notice that is included in or attached to the work
38
+ (an example is provided in the Appendix below).
39
+
40
+ "Derivative Works" shall mean any work, whether in Source or Object
41
+ form, that is based on (or derived from) the Work and for which the
42
+ editorial revisions, annotations, elaborations, or other modifications
43
+ represent, as a whole, an original work of authorship. For the purposes
44
+ of this License, Derivative Works shall not include works that remain
45
+ separable from, or merely link (or bind by name) to the interfaces of,
46
+ the Work and Derivative Works thereof.
47
+
48
+ "Contribution" shall mean any work of authorship, including
49
+ the original version of the Work and any modifications or additions
50
+ to that Work or Derivative Works thereof, that is intentionally
51
+ submitted to Licensor for inclusion in the Work by the copyright owner
52
+ or by an individual or Legal Entity authorized to submit on behalf of
53
+ the copyright owner. For the purposes of this definition, "submitted"
54
+ means any form of electronic, verbal, or written communication sent
55
+ to the Licensor or its representatives, including but not limited to
56
+ communication on electronic mailing lists, source code control systems,
57
+ and issue tracking systems that are managed by, or on behalf of, the
58
+ Licensor for the purpose of discussing and improving the Work, but
59
+ excluding communication that is conspicuously marked or otherwise
60
+ designated in writing by the copyright owner as "Not a Contribution."
61
+
62
+ "Contributor" shall mean Licensor and any individual or Legal Entity
63
+ on behalf of whom a Contribution has been received by Licensor and
64
+ subsequently incorporated within the Work.
65
+
66
+ 2. Grant of Copyright License. Subject to the terms and conditions of
67
+ this License, each Contributor hereby grants to You a perpetual,
68
+ worldwide, non-exclusive, no-charge, royalty-free, irrevocable
69
+ copyright license to reproduce, prepare Derivative Works of,
70
+ publicly display, publicly perform, sublicense, and distribute the
71
+ Work and such Derivative Works in Source or Object form.
72
+
73
+ 3. Grant of Patent License. Subject to the terms and conditions of
74
+ this License, each Contributor hereby grants to You a perpetual,
75
+ worldwide, non-exclusive, no-charge, royalty-free, irrevocable
76
+ (except as stated in this section) patent license to make, have made,
77
+ use, offer to sell, sell, import, and otherwise transfer the Work,
78
+ where such license applies only to those patent claims licensable
79
+ by such Contributor that are necessarily infringed by their
80
+ Contribution(s) alone or by combination of their Contribution(s)
81
+ with the Work to which such Contribution(s) was submitted. If You
82
+ institute patent litigation against any entity (including a
83
+ cross-claim or counterclaim in a lawsuit) alleging that the Work
84
+ or a Contribution incorporated within the Work constitutes direct
85
+ or contributory patent infringement, then any patent licenses
86
+ granted to You under this License for that Work shall terminate
87
+ as of the date such litigation is filed.
88
+
89
+ 4. Redistribution. You may reproduce and distribute copies of the
90
+ Work or Derivative Works thereof in any medium, with or without
91
+ modifications, and in Source or Object form, provided that You
92
+ meet the following conditions:
93
+
94
+ (a) You must give any other recipients of the Work or
95
+ Derivative Works a copy of this License; and
96
+
97
+ (b) You must cause any modified files to carry prominent notices
98
+ stating that You changed the files; and
99
+
100
+ (c) You must retain, in the Source form of any Derivative Works
101
+ that You distribute, all copyright, patent, trademark, and
102
+ attribution notices from the Source form of the Work,
103
+ excluding those notices that do not pertain to any part of
104
+ the Derivative Works; and
105
+
106
+ (d) If the Work includes a "NOTICE" text file as part of its
107
+ distribution, then any Derivative Works that You distribute must
108
+ include a readable copy of the attribution notices contained
109
+ within such NOTICE file, excluding those notices that do not
110
+ pertain to any part of the Derivative Works, in at least one
111
+ of the following places: within a NOTICE text file distributed
112
+ as part of the Derivative Works; within the Source form or
113
+ documentation, if provided along with the Derivative Works; or,
114
+ within a display generated by the Derivative Works, if and
115
+ wherever such third-party notices normally appear. The contents
116
+ of the NOTICE file are for informational purposes only and
117
+ do not modify the License. You may add Your own attribution
118
+ notices within Derivative Works that You distribute, alongside
119
+ or as an addendum to the NOTICE text from the Work, provided
120
+ that such additional attribution notices cannot be construed
121
+ as modifying the License.
122
+
123
+ You may add Your own copyright statement to Your modifications and
124
+ may provide additional or different license terms and conditions
125
+ for use, reproduction, or distribution of Your modifications, or
126
+ for any such Derivative Works as a whole, provided Your use,
127
+ reproduction, and distribution of the Work otherwise complies with
128
+ the conditions stated in this License.
129
+
130
+ 5. Submission of Contributions. Unless You explicitly state otherwise,
131
+ any Contribution intentionally submitted for inclusion in the Work
132
+ by You to the Licensor shall be under the terms and conditions of
133
+ this License, without any additional terms or conditions.
134
+ Notwithstanding the above, nothing herein shall supersede or modify
135
+ the terms of any separate license agreement you may have executed
136
+ with Licensor regarding such Contributions.
137
+
138
+ 6. Trademarks. This License does not grant permission to use the trade
139
+ names, trademarks, service marks, or product names of the Licensor,
140
+ except as required for reasonable and customary use in describing the
141
+ origin of the Work and reproducing the content of the NOTICE file.
142
+
143
+ 7. Disclaimer of Warranty. Unless required by applicable law or
144
+ agreed to in writing, Licensor provides the Work (and each
145
+ Contributor provides its Contributions) on an "AS IS" BASIS,
146
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
147
+ implied, including, without limitation, any warranties or conditions
148
+ of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
149
+ PARTICULAR PURPOSE. You are solely responsible for determining the
150
+ appropriateness of using or redistributing the Work and assume any
151
+ risks associated with Your exercise of permissions under this License.
152
+
153
+ 8. Limitation of Liability. In no event and under no legal theory,
154
+ whether in tort (including negligence), contract, or otherwise,
155
+ unless required by applicable law (such as deliberate and grossly
156
+ negligent acts) or agreed to in writing, shall any Contributor be
157
+ liable to You for damages, including any direct, indirect, special,
158
+ incidental, or consequential damages of any character arising as a
159
+ result of this License or out of the use or inability to use the
160
+ Work (including but not limited to damages for loss of goodwill,
161
+ work stoppage, computer failure or malfunction, or any and all
162
+ other commercial damages or losses), even if such Contributor
163
+ has been advised of the possibility of such damages.
164
+
165
+ 9. Accepting Warranty or Additional Liability. While redistributing
166
+ the Work or Derivative Works thereof, You may choose to offer,
167
+ and charge a fee for, acceptance of support, warranty, indemnity,
168
+ or other liability obligations and/or rights consistent with this
169
+ License. However, in accepting such obligations, You may act only
170
+ on Your own behalf and on Your sole responsibility, not on behalf
171
+ of any other Contributor, and only if You agree to indemnify,
172
+ defend, and hold each Contributor harmless for any liability
173
+ incurred by, or claims asserted against, such Contributor by reason
174
+ of your accepting any such warranty or additional liability.
175
+
176
+ END OF TERMS AND CONDITIONS
README.md CHANGED
@@ -1,3 +1,221 @@
1
  ---
2
  license: apache-2.0
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
3
  ---
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
  ---
2
  license: apache-2.0
3
+ language:
4
+ - en
5
+ pipeline_tag: question-answering
6
+ tags:
7
+ - cpu
8
+ - counting
9
+ - no-gradient
10
+ - interpretable
11
+ - reasoning
12
+ - rust
13
+ model-index:
14
+ - name: ILM
15
+ results:
16
+ - task:
17
+ type: question-answering
18
+ name: Question answering over a story
19
+ dataset:
20
+ name: bAbI, 20 tasks, 1,000 examples each
21
+ type: Muennighoff/babi
22
+ split: test
23
+ metrics:
24
+ - type: accuracy
25
+ value: 99.78
26
+ name: Accuracy
27
+ - task:
28
+ type: text2text-generation
29
+ name: Commands to actions
30
+ dataset:
31
+ name: SCAN, simple split
32
+ type: marcov/scan_simple_promptsource
33
+ split: test
34
+ metrics:
35
+ - type: exact_match
36
+ value: 100.0
37
+ name: Exact match
38
+ - task:
39
+ type: text2text-generation
40
+ name: Commands to actions
41
+ dataset:
42
+ name: SCAN, length split
43
+ type: marcov/scan_length_promptsource
44
+ split: test
45
+ metrics:
46
+ - type: exact_match
47
+ value: 100.0
48
+ name: Exact match
49
+ - task:
50
+ type: text2text-generation
51
+ name: Commands to actions
52
+ dataset:
53
+ name: SCAN, add jump split
54
+ type: marcov/scan_addprim_jump_promptsource
55
+ split: test
56
+ metrics:
57
+ - type: exact_match
58
+ value: 100.0
59
+ name: Exact match
60
+ - task:
61
+ type: text2text-generation
62
+ name: Commands to actions
63
+ dataset:
64
+ name: SCAN, add turn left split
65
+ type: marcov/scan_addprim_turn_left_promptsource
66
+ split: test
67
+ metrics:
68
+ - type: exact_match
69
+ value: 100.0
70
+ name: Exact match
71
+ - task:
72
+ type: question-answering
73
+ name: Deduction over told rules
74
+ dataset:
75
+ name: ProofWriter, depth 5, open form
76
+ type: tasksource/proofwriter
77
+ config: depth-5
78
+ split: test
79
+ metrics:
80
+ - type: accuracy
81
+ value: 100.0
82
+ name: Accuracy
83
+ - task:
84
+ type: question-answering
85
+ name: Deduction over told rules
86
+ dataset:
87
+ name: ProofWriter, depth 5, closed form
88
+ type: rlhf-and-friends/proofwriter-source
89
+ config: CWA-depth-5
90
+ split: test
91
+ metrics:
92
+ - type: accuracy
93
+ value: 100.0
94
+ name: Accuracy
95
+ - task:
96
+ type: text-classification
97
+ name: Natural language inference over 17 groups of logic
98
+ dataset:
99
+ name: LoNLI, the sealed part of 15 groups
100
+ type: tasksource/lonli
101
+ metrics:
102
+ - type: accuracy
103
+ value: 94.9
104
+ name: Accuracy
105
+ - task:
106
+ type: question-answering
107
+ name: Kinship over a story written by people
108
+ dataset:
109
+ name: CLUTRR, 2 to 10 steps
110
+ type: CLUTRR/v1
111
+ config: gen_train234_test2to10
112
+ split: test
113
+ metrics:
114
+ - type: accuracy
115
+ value: 72.3
116
+ name: Accuracy
117
+ - task:
118
+ type: question-answering
119
+ name: Facts from encyclopedia text
120
+ dataset:
121
+ name: LAMA, T-REx part
122
+ type: facebook/lama
123
+ config: trex
124
+ metrics:
125
+ - type: precision_at_1
126
+ value: 64.0
127
+ name: Precision at 1
128
+ - task:
129
+ type: question-answering
130
+ name: Word problems
131
+ dataset:
132
+ name: SVAMP, standard setting (300 test problems)
133
+ type: ChilleD/SVAMP
134
+ split: test
135
+ metrics:
136
+ - type: accuracy
137
+ value: 38.3
138
+ name: Accuracy
139
+ - task:
140
+ type: text-generation
141
+ name: Text from a list of facts
142
+ dataset:
143
+ name: E2E NLG
144
+ type: tuetschek/e2e_nlg
145
+ split: test
146
+ metrics:
147
+ - type: bleu
148
+ value: 65.37
149
+ name: BLEU
150
+ - type: nist
151
+ value: 8.29
152
+ name: NIST
153
  ---
154
+
155
+ # ILM: Integer Language Model
156
+
157
+ **CPU only.** ILM is a language model that needs no GPU, to learn or to answer. On one desktop CPU it learns each benchmark below from its lessons in seconds, then answers its test questions.
158
+
159
+ **Why no GPU?** A neural network, such as a transformer, learns by changing millions of decimal weights. It repeats billions of multiplications over many passes through the data, and a GPU is built for that work. ILM has no weights. It stores whole-number counts: how often each pattern in a text came with each answer. Counting is the addition of whole numbers, and a normal CPU does it fast.
160
+
161
+ ILM learns from lessons: a short text, a question and the exact answer (for two tasks below, also the labels that the set gives). It keeps a pattern only when its counts show that the pattern is reliable. So what it learned is a set of rules that you can read, and it gives the same answers on every run and for every number of threads.
162
+
163
+ Source code, documentation and the commands that give each number below: https://github.com/Datamine-Crypto/ILM
164
+
165
+ ## Files
166
+
167
+ | File | What it is |
168
+ |---|---|
169
+ | `ilm-windows-x86_64.exe` | the program for Windows on x86-64 |
170
+ | `ilm-linux-x86_64` | the program for Linux on x86-64 (glibc 2.35 or later, as on Ubuntu 22.04) |
171
+ | `ilm-macos-arm64` | the program for macOS on Apple silicon |
172
+ | `SHA256SUMS.txt` | the SHA-256 of each program |
173
+ | `LICENSE` | the Apache License 2.0 |
174
+ | `THIRD_PARTY_NOTICES.md` | the licenses of the code of others that the programs hold |
175
+
176
+ ILM has no weights to download: it learns each task from the lessons of that task when you run it. The program reads the descriptions of the sets and the list of sources from the GitHub repository, so run it from a clone of that repository.
177
+
178
+ ## Results
179
+
180
+ Each benchmark is read with frozen code on its test data: the official test split, or for LoNLI, LAMA and SVAMP the part that [docs/RESULTS.md](https://github.com/Datamine-Crypto/ILM/blob/main/docs/RESULTS.md) names. The runs use one desktop CPU (Intel Core i9-12900K, 24 threads, no GPU). The time is for the whole run, learning from all lessons and answering the test questions, as the best of three or more runs.
181
+
182
+ | Benchmark | ILM | Published, for comparison | Time |
183
+ |---|---|---|---|
184
+ | bAbI, 20 tasks, 1,000 examples each | 20 of 20 tasks pass, 99.78% right | best published learner from answers only: 3 tasks fail (Universal Transformer) | 5.9 s |
185
+ | SCAN, 4 splits | 100% on every split | Transformer: length 0.0, add jump 1.0 | 0.8 s |
186
+ | ProofWriter, depth 5 | 100% (40,063 of 40,063; closed depth 5 also learns from the formal forms of the set) | ProofWriter, T5-11B: 99.6 to 99.7 | 4.0 s |
187
+ | LoNLI, 17 groups of logic in NLI | 94.9% on its sealed part (15 groups; 10 of 16 learned) | tuned on MNLI, not on LoNLI: 59 to 71; RoBERTa-large tuned on 2% of LoNLI: near 100 | 0.7 s |
188
+ | CLUTRR, 2 to 10 steps | 72.3% (learns from the step labels of the set) | GPT-4o with a solver: 67.7; Faithful CoT with votes: 71.9 | 15.9 s |
189
+ | LAMA T-REx | 64.0% | BERT-large: 32.3; MegatronLM 11B with trained prompts, on a subset: 64.2 | 11.6 s |
190
+ | SVAMP | 38.3% | Graph2Tree: 36.5; with RoBERTa: 43.8; GPT-3 with chain of thought: 68.9 | 27.6 s |
191
+ | E2E NLG | BLEU 65.37 | TGen: 65.93; GPT-2 large with LoRA: 70.4 | 9.8 s |
192
+
193
+ The settings, the published numbers with their sources, and notes on each benchmark are in [docs/RESULTS.md](https://github.com/Datamine-Crypto/ILM/blob/main/docs/RESULTS.md) of the GitHub repository.
194
+
195
+ ## How to use
196
+
197
+ The program reads the descriptions of the sets from a clone of the GitHub repository. With the program of this repository, on Linux:
198
+
199
+ ```
200
+ git clone https://github.com/Datamine-Crypto/ILM ilm
201
+ cd ilm
202
+ cp <download folder>/ilm-linux-x86_64 ./ilm
203
+ chmod +x ./ilm
204
+ ./ilm fetch data/sources.txt sets=src_babi
205
+ ./ilm export src_babi data/sets/final/src_babi.txt cases/final/src_babi
206
+ ./ilm measure cases/final/src_babi
207
+ ```
208
+
209
+ On macOS, take `ilm-macos-arm64` in the same way, and also run `xattr -d com.apple.quarantine ./ilm`, because the program is not signed with an Apple developer certificate. On an Intel Mac, build the program from source. On Windows, copy `ilm-windows-x86_64.exe` into the clone as `ilm.exe` and run `.\ilm.exe fetch data/sources.txt sets=src_babi`, and so on. To build the program yourself in place of a download: `cargo build --release` (Rust 1.90 or later and a C compiler), then call `./target/release/ilm`. `fetch` gets the raw files of a set from the Hugging Face hub or GitHub at a fixed revision and checks their SHA-256. `export` writes a case file for each kind of the set. `measure` learns each kind from its lessons and reads its test cases. [docs/REPRODUCE.md](https://github.com/Datamine-Crypto/ILM/blob/main/docs/REPRODUCE.md) gives the commands for every benchmark.
210
+
211
+ ## How it works
212
+
213
+ ILM has fifteen tools, each named for its way of reading: patterns, state, amount, order, link, rule, parts, together, list, requests, frames, table, arrange, graph and ranks. For each kind of task, every tool learns from two thirds of the lessons and reads the last third. The tool with the most right answers learns again from all lessons. No person chooses a tool, and no setting changes between tasks. Beside the tools, ILM has a fact reader for encyclopedia text, a question reader, a writer that turns given facts into a text, and one command (`ilm ask`) that routes each request and prints a trace of its steps.
214
+
215
+ ## Limits
216
+
217
+ ILM is not a general chat model. It learns one kind of task at a time from lessons of that kind, and each lesson needs the exact answer. On a board of 25 public sets (240 kinds in 112 tasks), it learns 59 tasks: every kind of the task at 95% right or more on held cases (90% where people wrote the text). On SVAMP and E2E, pre-trained transformers are ahead.
218
+
219
+ ## License
220
+
221
+ Apache License 2.0. The sets that ILM reads keep their own licenses, and this repository holds none of their data.
SHA256SUMS.txt ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ 1d2b5c79fe531558b97d81c14dd1fdb756e3891fd97c3590a3bc1de64fb63689 ilm-linux-x86_64
2
+ fe3fdff0e347fccfa2e706a123d7a41b492f02e02de306067c64ca9e56da47fe ilm-macos-arm64
3
+ 95ae3685bd99343698ff3ee23666c25de25cdb26338f884643286c578a05a204 ilm-windows-x86_64.exe
THIRD_PARTY_NOTICES.md ADDED
@@ -0,0 +1,168 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ # Third-party notices
2
+
3
+ The program `ilm` holds code and data of others, under the licenses below. ILM itself is under the Apache License 2.0 (LICENSE).
4
+
5
+ Crates that run only while the program is built (proc-macro2, quote, syn, unicode-ident, cc, find-msvc-tools, shlex) are not part of the program.
6
+
7
+ The program also holds the Rust standard library (https://github.com/rust-lang/rust), which is under the MIT License or the Apache License 2.0; it is used here under the Apache License 2.0 of LICENSE.
8
+
9
+ ## mimalloc, the C library
10
+
11
+ The memory allocator of the program, built from the sources that the crate libmimalloc-sys holds (https://github.com/microsoft/mimalloc).
12
+
13
+ ```
14
+ MIT License
15
+
16
+ Copyright (c) 2018-2025 Microsoft Corporation, Daan Leijen
17
+
18
+ Permission is hereby granted, free of charge, to any person obtaining a copy
19
+ of this software and associated documentation files (the "Software"), to deal
20
+ in the Software without restriction, including without limitation the rights
21
+ to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
22
+ copies of the Software, and to permit persons to whom the Software is
23
+ furnished to do so, subject to the following conditions:
24
+
25
+ The above copyright notice and this permission notice shall be included in all
26
+ copies or substantial portions of the Software.
27
+
28
+ THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
29
+ IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
30
+ FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
31
+ AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
32
+ LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
33
+ OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
34
+ SOFTWARE.
35
+ ```
36
+
37
+ ## mimalloc and libmimalloc-sys, the Rust crates
38
+
39
+ The Rust crates that build and call the C library (https://github.com/purpleprotocol/mimalloc_rust).
40
+
41
+ ```
42
+ Copyright 2019 Octavian Oncescu
43
+
44
+ Permission is hereby granted, free of charge, to any
45
+ person obtaining a copy of this software and associated
46
+ documentation files (the "Software"), to deal in the
47
+ Software without restriction, including without
48
+ limitation the rights to use, copy, modify, merge,
49
+ publish, distribute, sublicense, and/or sell copies of
50
+ the Software, and to permit persons to whom the Software
51
+ is furnished to do so, subject to the following
52
+ conditions:
53
+
54
+ The above copyright notice and this permission notice
55
+ shall be included in all copies or substantial portions
56
+ of the Software.
57
+
58
+ THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF
59
+ ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED
60
+ TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A
61
+ PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT
62
+ SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
63
+ CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
64
+ OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR
65
+ IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
66
+ DEALINGS IN THE SOFTWARE.
67
+ ```
68
+
69
+ ## hex, a Rust crate
70
+
71
+ Used under the MIT License, one of its two licenses (https://github.com/KokaKiwi/rust-hex).
72
+
73
+ ```
74
+ Copyright (c) 2013-2014 The Rust Project Developers.
75
+ Copyright (c) 2015-2020 The rust-hex Developers
76
+
77
+ Permission is hereby granted, free of charge, to any person obtaining a copy
78
+ of this software and associated documentation files (the "Software"), to deal
79
+ in the Software without restriction, including without limitation the rights
80
+ to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
81
+ copies of the Software, and to permit persons to whom the Software is
82
+ furnished to do so, subject to the following conditions:
83
+
84
+ The above copyright notice and this permission notice shall be included in all
85
+ copies or substantial portions of the Software.
86
+
87
+ THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
88
+ IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
89
+ FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
90
+ AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
91
+ LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
92
+ OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
93
+ SOFTWARE.
94
+ ```
95
+
96
+ ## premise and premise_macros, Rust crates
97
+
98
+ The rules of the code and their macros (https://github.com/Datamine-Crypto/premise).
99
+
100
+ ```
101
+ MIT License
102
+
103
+ Copyright (c) 2026 Datamine Network contributors
104
+
105
+ Permission is hereby granted, free of charge, to any person obtaining a copy
106
+ of this software and associated documentation files (the "Software"), to deal
107
+ in the Software without restriction, including without limitation the rights
108
+ to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
109
+ copies of the Software, and to permit persons to whom the Software is
110
+ furnished to do so, subject to the following conditions:
111
+
112
+ The above copyright notice and this permission notice shall be included in all
113
+ copies or substantial portions of the Software.
114
+
115
+ THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
116
+ IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
117
+ FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
118
+ AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
119
+ LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
120
+ OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
121
+ SOFTWARE.
122
+ ```
123
+
124
+ ## Unicode Character Database
125
+
126
+ The tables of the kinds of signs, of decimal digits and of the decompositions of letters in crates/ilm-core/src/know/letters.rs, crates/ilm-core/src/know/signs.rs, crates/ilm-core/src/write/signs.rs and crates/ilm-data/src/sets/textmatch.rs come from the Unicode Character Database.
127
+
128
+ ```
129
+ UNICODE LICENSE V3
130
+
131
+ COPYRIGHT AND PERMISSION NOTICE
132
+
133
+ Copyright © 1991-2023 Unicode, Inc.
134
+
135
+ NOTICE TO USER: Carefully read the following legal agreement. BY
136
+ DOWNLOADING, INSTALLING, COPYING OR OTHERWISE USING DATA FILES, AND/OR
137
+ SOFTWARE, YOU UNEQUIVOCALLY ACCEPT, AND AGREE TO BE BOUND BY, ALL OF THE
138
+ TERMS AND CONDITIONS OF THIS AGREEMENT. IF YOU DO NOT AGREE, DO NOT
139
+ DOWNLOAD, INSTALL, COPY, DISTRIBUTE OR USE THE DATA FILES OR SOFTWARE.
140
+
141
+ Permission is hereby granted, free of charge, to any person obtaining a
142
+ copy of data files and any associated documentation (the "Data Files") or
143
+ software and any associated documentation (the "Software") to deal in the
144
+ Data Files or Software without restriction, including without limitation
145
+ the rights to use, copy, modify, merge, publish, distribute, and/or sell
146
+ copies of the Data Files or Software, and to permit persons to whom the
147
+ Data Files or Software are furnished to do so, provided that either (a)
148
+ this copyright and permission notice appear with all copies of the Data
149
+ Files or Software, or (b) this copyright and permission notice appear in
150
+ associated Documentation.
151
+
152
+ THE DATA FILES AND SOFTWARE ARE PROVIDED "AS IS", WITHOUT WARRANTY OF ANY
153
+ KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
154
+ MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT OF
155
+ THIRD PARTY RIGHTS.
156
+
157
+ IN NO EVENT SHALL THE COPYRIGHT HOLDER OR HOLDERS INCLUDED IN THIS NOTICE
158
+ BE LIABLE FOR ANY CLAIM, OR ANY SPECIAL INDIRECT OR CONSEQUENTIAL DAMAGES,
159
+ OR ANY DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS,
160
+ WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION,
161
+ ARISING OUT OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THE DATA
162
+ FILES OR SOFTWARE.
163
+
164
+ Except as contained in this notice, the name of a copyright holder shall
165
+ not be used in advertising or otherwise to promote the sale, use or other
166
+ dealings in these Data Files or Software without prior written
167
+ authorization of the copyright holder.
168
+ ```
ilm-linux-x86_64 ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:1d2b5c79fe531558b97d81c14dd1fdb756e3891fd97c3590a3bc1de64fb63689
3
+ size 12230856
ilm-macos-arm64 ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:fe3fdff0e347fccfa2e706a123d7a41b492f02e02de306067c64ca9e56da47fe
3
+ size 10119104
ilm-windows-x86_64.exe ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:95ae3685bd99343698ff3ee23666c25de25cdb26338f884643286c578a05a204
3
+ size 12251136