clopper-pearson

Here are 3 public repositories matching this topic...

How many runs before your eval means anything? Reliability statistics for stochastic evals: audit miss rates, exact intervals, runs-needed.

Just a bunch of notes on topics in statistics/machine learning that interest me. Think of it as a not-so-fancy blog.

Turn 'we found no escapes' into an exact integer. Exact and soundly-bracketed model counting for guard over-acceptance.

python security formal-methods model-counting clopper-pearson sharp-sat

To associate your repository with the clopper-pearson topic, visit your repo's landing page and select "manage topics."