1822G

Gold Verified

Publisher: EverestQ Engineering · Category: Reasoning

Parameters

14B

Context Window

64K

Default Size

10.5 GB

Downloads

98,400

Mathematical proof and formal logic solver trained on scientific papers, theorem provers, and symbolic algebra.

PULL MODEL

eq pull everestq/1822g

RUN INFERENCE

eq run everestq/1822g "Prove the divergence of the harmonic series"

Attention Architecture

Utilizes Grouped-Query Attention (GQA) with 16-token fixed Paged KV Cache block allocation for zero-fragmentation memory residency.

ONNX & EQC Compatible

Compiles directly through the EQC toolchain into standalone .eqx binary packages with fused SwiGLU kernels.

Multi-Hardware Support

Auto-detects CUDA RTX/A100/H100, Apple Silicon Metal Performance Shaders, or AVX-512 CPU execution backends.