2 ms·LLM's are not reproducible. Common Lisp, Coq and the like for sure are.by anthk 7mo agoLLM's are not reproducible. Common Lisp, Coq and the like for sure are.