The ML techniques it uses are only about evaluation, but you were close | Hacker News

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

Sopel 70 days ago | parent | context | favorite | on: Further human + AI + proof assistant work on Knuth...

The ML techniques it uses are only about evaluation, but you were close

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