I'm interested too - besides the paper, is it your personal experience that working with llms on ocaml is superior to other languages? I thought with the sheer amount of training data languages like python and java would be "ideal"

No it’s more about speed and quality of the feedback loop. So you want the compiler that catches the most stuff when given the least information.