Controlled synthetic formal-language data generation Tiny-model training in PyTorch Optional large-scale launch via PicoLM tooling Probing syntax-sensitive behavior Plotting model-size trends ...