Deepdive into Snyk Code - symbolic & neural AI

Symbolic techniques perform explainable predictions and the models are essentially immune to hallucinations. But, they require significant manual effort to scale (languages, frameworks, analysis & ruleset). Neural techniques are a promising new venture, however, their capabilities to discover bugs in code are limited by hallucinations and in the end are not significantly better than guessing. Let's combine them to overcome the shortcomings.