-
docs: update Model Card to document both Large 421M and Base 164M variants
-
Add lightweight ModernBERT-base 164M model variant in BF16 (~312MB)
Adds subfolder base-164m containing model.safetensors (312MB BF16), rl_agent_config.json, and tokenizer files. -
Add fine-tuned Laya ModernBERT 421M weights and tokenizer
Includes model.safetensors (1.68GB), rl_agent_config.json, and tokenizer files. -
Initial Model Card: documentation, usage, and benchmarks
---
license: apache-2.0
base_model: convaiinnovations/laya
tags:
- code-oracle
- modernbert
- neuro-symbolic
- code-verification
- system-one
- typed-decisions
- risk-calibration
language:
- en
pipeline_tag: text-classification
---
# Code Oracle: Laya ModernBERT 421M Decision Head
Fine-tuned decision head for **Code Oracle** (Sub-50ms Neuro-Symbolic Verification Oracle for AI Coding Agents).
This model evaluates linearized Micro-DSL subgraphs (AST diffs, call graphs, import graphs, and invariant gate states) across 4 Tier 1 programming languages (**Python, TypeScript, Go, and Rust**) to produce dual-decision verdicts (`APPROVED` vs `REJECTED`) and continuous calibrated risk scores (`0.0` to `1.0`).
## Model Details
- **Base Architecture:** Laya ModernBERT 421M (`convaiinnovations/laya` subfolder `typed-decisions`)
- **Base Model License:** Apache 2.0
- **Fine-tuned By:** Wahyu Febri Tamtomo ([frugaldev.biz.id](https://frugaldev.biz.id))
- **Training Task:** Dual-de… -
initial commit
