126 skills found · Page 1 of 5
SciML / ModelingToolkit.jlAn acausal modeling framework for automatically parallelized scientific machine learning (SciML) in Julia. A computer algebra system for integrated symbolics for physics-informed machine learning and automated transformations of differential equations
utiasDSL / Safe Control GymPyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and RL
Natooz / MidiTokMIDI / symbolic music tokenizers for Deep Learning models 🎶
MilesCranmer / Symbolic Deep LearningCode for "Discovering Symbolic Models from Deep Learning with Inductive Biases"
NucleoidAI / NucleoidLogic Language for LLMs 🌱🐋🌍 Build Neuro-Symbolic AI for learning and reasoning
dso-org / Deep Symbolic OptimizationA deep learning framework for symbolic optimization.
facebookresearch / SymbolicMathematicsDeep Learning for Symbolic Mathematics
SynaLinks / SynalinksFrom idea to production in just few lines: Graph-Based Programmable Neuro-Symbolic LM Framework - a production-first LM framework built with decade old Deep Learning best practices
poppopjmp / VMDragonSlayerAutomated multi-engine framework for unpacking, analyzing, and devirtualizing binaries protected by commercial and custom Virtual Machine based protectors. Combines Dynamic Taint Tracking, Symbolic Execution, Pattern & Semantic Classification, and Machine Learning–driven prioritization to dramatically reduce manual reverse engineering time.
crazydonkey200 / Neural Symbolic MachinesNeural Symbolic Machines is a framework to integrate neural networks and symbolic representations using reinforcement learning, with applications in program synthesis and semantic parsing.
thomasahle / TensorgradMachine Learning with Symbolic Tensors
floodsung / Deep Reasoning PapersRecent Papers including Neural Symbolic Reasoning, Logical Reasoning, Visual Reasoning, planning and any other topics connecting deep learning and reasoning
LAMDASZ-ML / Awesome LLM Reasoning With NeSy✨✨Latest Advances on Neuro-Symbolic Learning in the era of Large Language Models
logic-and-learning-lab / PopperAn inductive logic programming system
astroautomata / SymTorchDeep Learning Interpretability with Symbolic Regression
opencog / LearnNeuro-symbolic interpretation learning (mostly just language-learning, for now)
video-fm / LASERThis is a public version of LASER: A Neuro-Symbolic Framework for Learning Spatial-Temporal Scene Graphs with Weak Supervision
deepakkumar1984 / MxNet.Sharp.NET Standard bindings for Apache MxNet with Imperative, Symbolic and Gluon Interface for developing, training and deploying Machine Learning models in C#. https://mxnet.tech-quantum.com/
csvl / SEMASEMA 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.
EleutherAI / AriaOfficial repository for the paper: Scaling Self-Supervised Representation Learning for Symbolic Piano Performance (ISMIR 2025)
