Team Ai
Modelpublic

XllentAI/modular_arithmetic

sourceHugging Faceapache-2.0updated 1mo agoView on Hugging Face
0likes
33 commits on main
35ad1a41mo ago

Link GitHub research repository

etwk
f7048134mo ago

Docs: companion-repo note for provenance recipes, qualify dead links, neutral phrasing; gitignore .claude/

etwk
93db0e94mo ago

Add EVALUATION.md: harness gates, per-tier sampling, seed-robustness table

etwk
8ed8c454mo ago

Docs: fix stale "Five weight-sets" heading; GPU-qualify the latency claim

etwk
41fc51b4mo ago

Ship shared 1024-2048 high cell (V2); sync docs + model

etwk
b6709934mo ago

Promote shared 16-512 weight soup

etwk
6d991cb4mo ago

manifest: annotate the 1.295%/0.297% tier-10 figures as unmatched-baseline

etwk
124b03f4mo ago

tier-10 greedy weight-soup: cut worst-prime tail risk ~10x, headline unchanged

etwk
e6d48a04mo ago

docs: clarify the two-step artifact reduction (0.77 -> ~0.13 -> 0.08 GB)

etwk
fc0c8f44mo ago

docs: correct weight-perturbation (Principle 2) numbers to measured values

etwk
5459ca84mo ago

docs: correct artifact size, refresh width-robustness and tier-0 numbers

etwk
33d07964mo ago

model: force cuDNN determinism and fail fast on incomplete artifact

etwk
ea9333f4mo ago

Docs: correct README to the shipped 5 weight-sets (shared 64-512 cell), fix param count ~21M and tier-5/6 numbers; remove the legacy MLP train.py (superseded by the carry-aware TCN recipe in README/manifest)

etwk
55de2ed4mo ago

tier-9 second hardening tail: P(tier9<0.90) 0.099%->0.013% (faithful), public 0.99 unchanged

etwk
c2635be4mo ago

tier-10 second hardening tail: 0.98 -> 1.00 public, P(tier10<0.90) 1.295% -> 0.297%

etwk
759f10f4mo ago

Pin determinism flags in load() (eligibility insurance)

etwk
fff63d14mo ago

v2: collapse 64-512 cells into one shared carry-aware TCN weight-set

etwk
ba38bb54mo ago

Use HF default .gitattributes (comprehensive LFS rules)

etwk
84d40714mo ago

Add model-card YAML frontmatter (clears HF 'missing yaml metadata' warning)

etwk
9294ab94mo ago

Shrink: 16/32-bit MLPs -> width-matched TCN. Artifact 0.77GB -> 0.13GB

etwk
ffa1be74mo ago

Tier 8 re-polish: 0.92 -> 0.98, overall 0.982 -> 0.988

etwk
e258f444mo ago

Harden tier 10: 0.94 -> 0.98, overall 0.978 -> 0.982

etwk
6b83eb74mo ago

Tier 10 = 0.94: highest_tier 9->10 (MAX), overall 0.886->0.978

etwk
bd6d4874mo ago

Tier 9 = 0.99: highest_tier 8->9, overall 0.788->0.886

etwk
cc41e6b4mo ago

64-bit cell: MLP -> carry-aware TCN (fixes tier-0 near-2^64, 944MB->13MB)

etwk
70d0ebc4mo ago

Tier 8 saturated at 0.92: highest_tier 7->8, overall 0.769->0.788

etwk
86c5a174mo ago

Partial 512-bit cell (tier 8 = 0.73): overall 0.698 -> 0.769

etwk
845fdfb4mo ago

Commit all 5 cell weights as git-LFS objects (16/32/64/128/256-bit)

etwk
b69f4ce4mo ago

Tier-7 256-bit carry-aware TCN cell: highest_tier 6->7, overall 0.602->0.698, tier-7 0.98

etwk
47e319e4mo ago

Tier-6 carry-aware TCN cell: highest_tier 5->6, overall 0.531->0.602, tier-6 0.97

etwk
6b822504mo ago

Update card + manifest: tier 5 0.74 -> 0.98 (trajectory training), highest_tier_above_90 5

etwk
faa14cf4mo ago

Update tier-5 metrics to 0.74 (overall 0.483); refresh 64-bit compliance row

etwk
3d2c2264mo ago

Horner-RNN modular-multiplication model (tiers 1-5, up to 2^64)

etwk