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 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 ]

There are no comments on this comment yet.