LLM's are not reproducible. Common Lisp, Coq and the like for sure are.