Building deterministic compiler backends to cure LLM hallucinations.

S-expr → Typed IR → Rust. Creator of Neural-Codegen. Founder of XiaojinPro.

Neural Codegen

Paper · April 2026

Neuro-symbolic architecture: S-expr → Typed IR → guaranteed-compilable Rust. 75% Pass@1 vs 62% raw LLM.

Recent Writing

Helper Disconnected