https://www.youtube.com/watch?v=Rt3XyeFHvt4 (poorly transcribed here: https://www.janestreet.com/tech-talks/algorithm-for-precisio...)
If I recall correctly, he used miniKanren along with formalized, structured data extracted from medical research. Unfortunately, his son has since passed away.
There's nothing that is not actionable, you can always do science.
There's nothing that is not actionable, you can always do science.