2019-04-19 15:37:49 (GMT)
I got the highest scores of my life for this HOSMT paper: 3/2/2
I was also surprised with the high scores we got from the WIP at the SMT workshop. It puzzles me a bit, but people seem to LOVE the idea of increasing automation for HOL :)
2019-04-19 15:38:28 (GMT)
I assume the Lambda Superposition paper also did very well?
2019-04-19 15:40:56 (GMT)
Stephan Schulz, @Petar Vukmirovic and myself have had our System Description paper "Faster, Higher, Stronger: E 2.3" accepted as well, albeit with lower scores :)
2019-04-19 15:53:35 (GMT)
I assume the Lambda Superposition paper also did very well?
Yes, Lambda Superposition got 2/2/2!
2019-04-19 15:56:26 (GMT)
Great!