notesum.ai
Published at October 18Formal Explanations for Neuro-Symbolic AI
cs.CE
Released Date: October 18, 2024
Authors: Sushmita Paul1, Jinqiang Yu1, Jip J. Dekker1, Alexey Ignatiev1, Peter J. Stuckey1
Aff.: 1Department 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 |