5 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.AI2026
Accelerating NeurASP with vectorization and caching
Alexander Philipp Rader, Alessandra Russo
Neurosymbolic AI combines neural networks with symbolic programs to create robust and explainable predictions. One such framework is NeurASP, which trains a neural network to predi…
cs.AI2020★ 5 cited
Learning Implicitly with Noisy Data in Linear Arithmetic
Alexander P. Rader, Ionela G. Mocanu, Vaishak Belle +1
Robust learning in expressive languages with real-world data continues to be a challenging task. Numerous conventional methods appeal to heuristics without any assurances of robust…