[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Fix false negatives in conjecture matching
- Subject: Re: Fix false negatives in conjecture matching
- From: Chris Warburton
- Date: Fri, 28 Jul 2017 17:05:41 +0100
- In-reply-to: <9160d7c1463a5046-0-artemis@nixos>
- References: <9160d7c1463a5046-0-artemis@nixos>
Just checked, and this example is now giving:
precision: 0.22857142857142856
recall: 0.8888888888888888
Looks about right :)