Hacker News new | ask | show | jobs
by nextos 1518 days ago
There's some research on inductive logic programming and, program induction, Bayesian programming, etc.

I guess it will take some time to become a bit more mature and get to the job market, maybe 5 years?

Some groups to look at (not exhaustive): Tenenbaum (MIT), De Raedt (KU Leuven), Muggleton (Imperial).