2020-05-30 12:59:21 (GMT)
Hi all,
This is the system description of CASC that I will submit next week.
Let me know if there are any issues with it.
Cheers
2020-05-30 12:59:31 (GMT)
2020-05-30 13:15:56 (GMT)
Maybe put the collaborators in alphabetical order using the surnames?
2020-05-30 13:18:23 (GMT)
And maybe update the github-link to sneeuwballen instead of c-cube?
2020-05-30 13:27:43 (GMT)
OK will do
2020-05-30 14:9:41 (GMT)
I think you can remove the sentence about arith and induction rules. Also, I'd say "good performance" instead of "decent" if it's as good as last year THF winner!
2020-05-30 15:43:1 (GMT)
Ok :slight_smile:
2020-06-02 6:24:6 (GMT)
"Boolean-free higher-order logic" we now call "clausal higher-order logic" (in the journal submissions).
2020-06-02 6:25:10 (GMT)
V. nice summary overall!