Someone just posted this on Reddit: https://www.reddit.com/r/cpp/comments/lkcjki/solving_differential_equations_with_llvm/?utm_source=share&utm_medium=web2x&context=3

It announces heyoka, a library for the numerical integration of ODEs, and mentions the use of automatic differentiation, apparently through LLVM (but I haven’t read through it all).

Thought it might be relevant to the automatic differentiation work.