Upload README.md with huggingface_hub
Browse files
README.md
ADDED
|
@@ -0,0 +1,70 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
---
|
| 2 |
+
license: mit
|
| 3 |
+
language:
|
| 4 |
+
- en
|
| 5 |
+
tags:
|
| 6 |
+
- governed-language-model
|
| 7 |
+
- semiconductor
|
| 8 |
+
- conversational
|
| 9 |
+
- governance
|
| 10 |
+
pipeline_tag: text-generation
|
| 11 |
+
---
|
| 12 |
+
|
| 13 |
+
# Axiom-560M
|
| 14 |
+
|
| 15 |
+
**A Governed Language Model — every output ships its own proof of governance.**
|
| 16 |
+
|
| 17 |
+
Axiom-560M is a dual-mode decoder (conversational + semiconductor) trained on 56,000 governed pairs. Governance isn't a filter — it's the architecture.
|
| 18 |
+
|
| 19 |
+
## Model Details
|
| 20 |
+
|
| 21 |
+
| | |
|
| 22 |
+
|---|---|
|
| 23 |
+
| Architecture | BLOOM-560M (decoder-only transformer) |
|
| 24 |
+
| Parameters | 559M |
|
| 25 |
+
| Training data | 56,000 governed pairs (conversational + semiconductor RTL) |
|
| 26 |
+
| Eval loss | 0.1635 |
|
| 27 |
+
| Perplexity | 1.18 overall (1.16 conversational, 1.64 semiconductor) |
|
| 28 |
+
| License | MIT |
|
| 29 |
+
|
| 30 |
+
## Modes
|
| 31 |
+
|
| 32 |
+
**Conversational** — governed dialogue (perplexity 1.16)
|
| 33 |
+
|
| 34 |
+
**Semiconductor** — governed RTL and hardware specifications (perplexity 1.64)
|
| 35 |
+
|
| 36 |
+
## Usage
|
| 37 |
+
|
| 38 |
+
```python
|
| 39 |
+
from transformers import AutoModelForCausalLM, AutoTokenizer
|
| 40 |
+
|
| 41 |
+
model = AutoModelForCausalLM.from_pretrained("MetaCortex-Dynamics/Axiom-560M")
|
| 42 |
+
tokenizer = AutoTokenizer.from_pretrained("MetaCortex-Dynamics/Axiom-560M")
|
| 43 |
+
|
| 44 |
+
input_ids = tokenizer.encode("<|conv|>What is governed generation?", return_tensors="pt")
|
| 45 |
+
output = model.generate(input_ids, max_new_tokens=200, temperature=0.7, do_sample=True)
|
| 46 |
+
print(tokenizer.decode(output[0], skip_special_tokens=True))
|
| 47 |
+
```
|
| 48 |
+
|
| 49 |
+
## Governance
|
| 50 |
+
|
| 51 |
+
Every output passes through a four-phase governance pipeline:
|
| 52 |
+
|
| 53 |
+
```
|
| 54 |
+
PROPOSE → DECIDE → PROMOTE → EXECUTE
|
| 55 |
+
```
|
| 56 |
+
|
| 57 |
+
- 15 grounding operators as token vocabulary
|
| 58 |
+
- 7 interrogative witnesses as grammar
|
| 59 |
+
- Admissibility gates (G₁-G₇) with three-valued semantics
|
| 60 |
+
- Machine-verifiable governance trace on every output
|
| 61 |
+
|
| 62 |
+
## Links
|
| 63 |
+
|
| 64 |
+
- [Interactive Demo](https://huggingface.co/spaces/MetaCortex-Dynamics/Axiom-Ref) — try Axiom in your browser
|
| 65 |
+
- [Source Code](https://github.com/MetaCortex-Dynamics/Axiom) — MIT license
|
| 66 |
+
- [Benchmark Results](https://github.com/MetaCortex-Dynamics/Axiom/blob/main/BENCHMARKS.md) — 100% governance vs 0% all LLMs
|
| 67 |
+
|
| 68 |
+
## Organization
|
| 69 |
+
|
| 70 |
+
[MetaCortex Dynamics DAO](https://github.com/MetaCortex-Dynamics)
|