Finding forall-exists Hyperbugs using Symbolic Execution
Summary
MicroGPT-C is a zero-dependency, pure C99 GPT-style model designed for education and edge use. It trains a tiny decoder-only transformer that fits in under 50 KB of RAM and offers SIMD and INT8 quantization build options, emphasizing accessibility and transparency. The repository serves as a baseline for exploring attention mechanisms, optimization, and quantization in a compact C codebase.