Verantyx
Symbolic Reasoning. Zero Neural Networks.
No LLMs. No pretrained models. No neural networks.
Every solution is interpretable and verifiable.
Pure symbolic program synthesis
git clone https://github.com/Ag3497120/verantyx-v6 && cd verantyx-v6 && pip install -r requirements.txtHow It Works
Zero LLMs, zero neural networks — every solution is a verifiable program
Input Grid
Piece Generation
Cross DSL
Verification
Output
Cross DSL Approach
Verantyx uses neighborhood-rule transformations to systematically explore the space of possible programs. Each transformation is a composable, verifiable operation — no probabilistic guessing, no gradient descent.
Verifiable by Design
Every generated program can be inspected, understood, and verified. No black boxes. No unexplainable behavior. Just pure, deterministic symbolic reasoning.
7-Phase Symbolic Pipeline
Cross DSL
Standalone Primitives
Stamp
Composite Chains
Iterative Cross
Puzzle Reasoning Language
ProgramTree Synthesis
Evolution
From 11.3% to 20.7% — continuous improvement through symbolic refinement
Each version introduces new symbolic transformations and reasoning strategies
Pure symbolic reasoning. No neural networks.