608 search results - page 24 / 122 » Interactive Oracle Proofs |
162
Voted
NIPS
2004
15 years 6 months ago
2004
Machine learning is often used to automatically solve human tasks. In this paper, we look for tasks where machine learning algorithms are not as good as humans with the hope of ga...
118
Voted
ICS
2010
Tsinghua U.
16 years 2 months ago
2010
Tsinghua U.
98
Voted
MKM
2007
Springer
15 years 11 months ago
2007
Springer
120
Voted
MKM
2005
Springer
15 years 10 months ago
2005
Springer
108
Voted
TPHOL
2003
IEEE
15 years 10 months ago
2003
IEEE
