News for hackers. Stuff that matters.

A comment on Troubling Trends in Machine Learning Scholarship. Parent comment

Re:Troubling Trends in Machine Learning Scholarship by AstralStorm on Wednesday July 11, 2018 @03:53AM (#17505171)
Yes, but why do it on paper when you can use an automated prover instead, since you're proving properties of an algorithm?

It smells of laziness...

[ Parent | on HN ]
Re:Troubling Trends in Machine Learning Scholarship by shoo on Wednesday July 11, 2018 @07:07AM (#17505975)
can you cite any non-trivial examples where people writing papers include machine-checked proofs , in fields of study unrelated to the study of machine-checked proofs?
[ Parent | on HN ]