Searched defs:correct (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/HOL4/examples/acl2/tests/inputs/
H A Dm1-story.lisp
/seL4-l4v-master/HOL4/src/AI/machine_learning/
H A DmlNearestNeighbor.sml150 let val correct = filter I (map (is_accurate_knn knnpred) exset) in value
H A DmlTreeNeuralNetwork.sml406 let val correct = filter (is_accurate tnn) set in value
/seL4-l4v-master/HOL4/tools/
H A Dholscript-mode.el

Completed in 117 milliseconds