#Symbolic
Showing 8 of 8 repositories tagged #symbolic, ranked by stars
High-Performance Symbolic Regression in Python and Julia
Distributed High-Performance Symbolic Regression in Julia
Logic Language for LLMs 🌱🐋🌍 Build Neuro-Symbolic AI for Learning and Reasoning
Wolfram Language / Mathematica reimplementation in Rust (Wolfram oxidized)
Swiss Army knife for Unix permissions
SEMA is based on angr, a symbolic execution engine used to extract API calls. Especially, we extend ANGR with strategies to create representative signatures based on System Call Dependency graph (SCDG). Those SCDGs can be exploited in machine learning modules to do classification/detection.
An expert system using logic-based artificial intelligence and symbolic AI.
Synthetic data generation for evaluating LLM symbolic and logic reasoning