Commit Graph

5 Commits

Author SHA1 Message Date
Lorenzo Volpi 37392c6545 ATC baseline added, rcv1 dataset added 2023-09-14 01:52:19 +02:00
Lorenzo Volpi ce04bf9420 kfcv baseline implemented 2023-09-13 00:11:20 +02:00
Lorenzo Volpi c01ac0915c Dataset updated, evaluation updated, tests updated 2023-09-12 17:38:49 +02:00
Lorenzo Volpi ad98a515c4 Coverage update 2023-07-28 01:48:15 +02:00
Lorenzo Volpi 469dcb5898 binary quantifier completed, tests added. errors updated. 2023-07-27 03:16:41 +02:00