Brief

Researchers have developed a new implementation of the NeurASP framework, a neurosymbolic AI that combines neural networks with symbolic reasoning. This updated version significantly improves computational performance through vectorization, batch processing, and caching, leading to speedups of multiple orders of magnitude for larger tasks. The improvements address previous scalability issues caused by expensive probability and gradient calculations in the non-differentiable ASP component. A new dataset involving playing cards was also introduced to test the enhanced learning function. AI