output
20032025
most citedRevisiting Classifier Two-Sample Tests

58 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.CCShow all

1 paper · 1 filter

cs.CC2003

Machine-Checked Formalization of Earlier Arguments on versus Using Isabelle/HOL

Craig Alan Feinstein

This letter revisits an earlier argument concerning versus based on the SUBSET-SUM problem and examines its formalization in Isabelle/HOL. The formal dev…