ML News
new
|
past
|
best
|
rss
|
submit
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
About
|
RSS
|
RSS (all)
|
HN arXiv