Compile-time automatic differentiation with no runtime tape, typed named-axis tensors and bounded dims, StableHLO model export, batching/vmap, double precision, training primitives, Hugging Face/LoRA import.
#rpc, #math, #llm, #kotlin-compiler-plugin, #framework, #compiler-plugin, #code-generation
