Arxis Package
verified-decoding
Differentiable constraint satisfaction for LLM decoding.
verified-decoding plugs into generation and repairs logits using a learned world model instead of rigid grammar-only masking.
- Soft, learned structural and type constraints
- Gradient-based logit repair mechanism
- Token-conditioned recurrent world-model rollouts
- Conformal acceptance layer for calibrated decisions
pip install verified-decoding