Skip to page content
SAVRN
Search Plan a project

Organization

AI999X Labs

AI999X

Verified offline AI for STEM fields · deterministic solvers with step-by-step answers · neuro-symbolic reasoning · zero-hallucination question answering · small ONNX models for CPU · machine-verified synthetic datasets · open-source Python packages (Apache-2.0)

Models in Library3
Datasets in Library0
Models on Hugging Face4
Followers1

Compare the published evidence

This profile connects the 3 model and dataset records shown below to their upstream cards and sources. The library counts describe SAVRN's coverage, rather than this publisher's entire output.

Published tasks: Token classification.

Reported licenses: apache-2.0. Open a record to review its specific license and conditions.

Compare model specifications, source dates, and hardware estimates on the individual records. Publisher identity verification is separate from a model's quality, deployment readiness, or suitability for your work.

Models

Model · Token classification

physics-ai999x

AI999X Labs

License: Apache-2.0 · Author: Ibnul Jaif Farabi (creator and engineer) · Organization: AI999X · Version 2.0.0 physics-ai999x is an offline, deterministic Python solver that answers physics questions with verified results from 148 certified capabilities, gives 859 documented answers identically on Windows and Linux, and refuses rather than guesses when an answer cannot be verified. physics-ai999x is a compact, deterministic physics engine for Python. It reads a question in plain English (or a typed call), picks a certified physics capability, computes the answer exactly, checks it, and returns the result with its steps, units, LaTeX and assumptions — or an honest refusal that says what is…

Open weights apache-2.0 34M parameters physics-ai999x
View model

Model · Token classification

algebra-ai999x

AI999X Labs

License: Apache-2.0 · Author: Ibnul Jaif Farabi (creator and engineer) · Organization: AI999X · Version 2.0.0 algebra-ai999x is an offline, deterministic Python solver that answers algebra questions with verified results from 56 certified capabilities, gives 230 documented answers identically on Windows and Linux, and refuses rather than guesses when an answer cannot be verified. algebra-ai999x is a compact, deterministic algebra engine for Python. It reads a question in plain English (or a typed call), picks a certified algebra capability, computes the answer exactly, checks it, and returns the result with its steps, units, LaTeX and assumptions — or an honest refusal that says what is…

Open weights apache-2.0 33M parameters algebra-ai999x
View model