---
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.