[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Fix false negatives in conjecture matching
- Subject: Fix false negatives in conjecture matching
- From: Chris Warburton
- Date: Fri, 28 Jul 2017 15:03:49 +0100
- Resolution: fixed
- State: resolved
Our precision/recall is 0 for the list-full theory from Isabelle,
despite a manual check finding almost 100% recall (and hence non-zero
precision).