Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

It's not an either-or question. Symbolic reasoning comes up in many places where regression techniques are simply inadequate. A synthesis of the two is likely to see progress.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: