Verantyx
Symbolic Reasoning. Zero Neural Networks.
LLM-free symbolic reasoning engine that uses pure symbolic program synthesis and verifiable outputs; the project also has a related macOS AI coding assistant/IDE implementation.
Recent stories
0 linked stories
No linked stories yet.