3 ms·Iris: A neurosymbolic framework for vulnerability detection in code5 points by todsacerdoti 1y ago