notesum.ai

Published at October 18

cs.CE

Released Date: October 18, 2024

Authors: Sushmita Paul¹, Jinqiang Yu¹, Jip J. Dekker¹, Alexey Ignatiev¹, Peter J. Stuckey¹

Aff.: ¹Department of Data Science and AI, Faculty of IT, Monash University, Melbourne, Victoria, Australia

	Scallop (Neuro-Symbolic)					Convolutional Neural Network (CNN)
Benchmark	Time	E.	E. Time	Test (%)	Train (%)	Time	E.	E. Time	Test (%)	Train (%)
Lex1-6	00:12	3	00:04	99.90	95.00	02:42	3	00:54	98.54	96.38
Lex1-8	00:12	2	00:06	99.92	94.09	02:12	4	00:34	96.78	95.88
RegExp-1-6	00:20	5	00:04	99.50	94.45	01:43	2	00:51	99.14	98.18
RegExp-1-8	00:15	3	00:05	99.54	93.64	02:12	4	00:33	95.94	94.38
RegExp-2-10	00:24	3	00:08	99.78	94.29	05:04	3	01:41	96.70	96.54
Pacman-SP	19:36	3	06:32	100.00	99.90	31:29	12	02:37	89.15	95.98