about
Stories from April 26, 2019 (UTC)
Go back a day, month, or year. Go forward a day.
1. HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (arxiv.org)
30 points by MrXOR on Apr 26, 2019 | hide | past | pdf | 4 comments
2. Study urges reappraisal of alleged racial 'bias' in face recognition (arxiv.org)
1 point by pplonski86 on Apr 26, 2019 | hide | past | pdf | discuss