This sounds very interesting. Do you have a reference? | Hacker News

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

		atakan_gurkan 4 days ago \| parent \| context \| favorite \| on: AI will make formal verification go mainstream This sounds very interesting. Do you have a reference?

avmich 2 days ago [–]

Saw something like that once, couldn't find recently, sorry. Ask Peter?..

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