File size: 930 Bytes
7d1746a 4a0a77f 1be7633 f05d573 4a0a77f f05d573 4a0a77f 1be7633 7d1746a 4a0a77f 7d1746a 4a0a77f 7d1746a 4a0a77f 1be7633 4a0a77f | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 | ---
license: apache-2.0
language:
- en
pipeline_tag: text-generation
tags:
- reasoning
- math
- code
- grpo
- rlvr
- parallax
- nexis
---
# 🚀 Nexis-v2 (8-Domain RLVR Self-Trained Engine)
**Company:** Parallax
**Founder:** Samrish
**Model Name:** Nexis-v2 (Autonomous GRPO Iteration)
**Training:** 8 Procedural Verifiable Frontiers (Vieta Math, AST Code, ARC Grids, Z3 SMT Logic, SymPy Calculus, ASan C Memory, BABILong Recall)
Nexis-v2 is the second-generation sovereign autonomous model trained by **Parallax** via deterministic Group Relative Policy Optimization (GRPO) on dual Tesla T4 GPUs with API rent.
### Key Capabilities
- **Autonomous Error Correction:** Verifiable step-level trajectory reinforcement.
- **Formal Verification:** Zero hallucination via deterministic logic verifiers.
- **Enterprise Agency:** Integrated with Lean 4, SWE-bench scaffolds, and ARC-AGI-3 interactive execution environments.
|