A list of awesome neural symbolic papers.
☆52Jul 25, 2022Updated 3 years ago
Alternatives and similar repositories for awesome-neural-symbolic
Users that are interested in awesome-neural-symbolic are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automatic Mapping Generation, Verification, and Exploration for ISA-based Spatial Accelerators☆124Oct 26, 2022Updated 3 years ago
- A schedule language for large model training☆152Aug 21, 2025Updated 8 months ago
- Collect simple coverage information in memory.☆11Oct 6, 2022Updated 3 years ago
- ☆61Dec 27, 2021Updated 4 years ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆27Mar 25, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Codebase for Neuro-Symbolic Continual Learning.☆26Aug 21, 2023Updated 2 years ago
- Altered TCR Ligand Affinities and Structures☆12Dec 1, 2023Updated 2 years ago
- ☆42Sep 8, 2023Updated 2 years ago
- Integrating neurosymbolic representations into LLMs for interpretability, steering, and running symbolic algorithms☆14Feb 2, 2026Updated 2 months ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Dec 21, 2022Updated 3 years ago
- ☆144Jan 30, 2025Updated last year
- ☆98Nov 4, 2022Updated 3 years ago
- Code for NeurIPS2023 Paper "Symbol-LLM: Leverage Language Models for Symbolic System in Visual Human Activity Reasoning"☆26Dec 19, 2023Updated 2 years ago
- SparseTIR: Sparse Tensor Compiler for Deep Learning☆143Mar 31, 2023Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Website for Systems Research Seminar at UIUC☆21Updated this week
- A unified neural-symbolic framework for solving plane and solid geometric problems via Parse2Reason & Official repository for the CVPR 20…☆39Updated this week
- Torch Frontend for IREE☆26Dec 21, 2023Updated 2 years ago
- A list of papers about concept bottleneck models (CBMs)☆24Nov 12, 2025Updated 5 months ago
- ☆34Mar 21, 2026Updated last month
- Integrating Clinical Knowledge into Concept Bottleneck Models (MICCAI2024)☆15Sep 12, 2024Updated last year
- General system research material (not limited to paper) reading notes.☆22Mar 17, 2021Updated 5 years ago
- Making code edting up to 7.7x faster using multi-layer speculation☆23Feb 20, 2025Updated last year
- This is the implement repository of our upcoming ESEC/FSE 2020 paper: Deep Learning Library Testing via Effective Model Generation.☆56Oct 29, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A DSL for Linear Temporal Logic + Interface with Z3 for solving☆11Mar 12, 2015Updated 11 years ago
- A linux PCIe driver for Altera☆11Oct 9, 2018Updated 7 years ago
- A PIM instrumentation, compilation, execution, simulation, and evaluation repository for BLIMP-style architectures.☆17May 12, 2022Updated 3 years ago
- Formalization of "Analysis I" by Terence Tao☆23Apr 17, 2026Updated 2 weeks ago
- A list of awesome GNN systems.☆341Updated this week
- Training and Benchmarking LLMs for Code Preference.☆38Nov 15, 2024Updated last year
- ☆18Oct 17, 2025Updated 6 months ago
- Solving Tic-Tac-Toe with Neural Networks.☆19Jan 28, 2019Updated 7 years ago
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆40May 17, 2023Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- TVMFuzz: fuzzing tensor-level intermediate representation in TVM☆32May 24, 2020Updated 5 years ago
- Unofficial GitLab Android client. Support self hosted GitLab and Push notifications☆10May 18, 2016Updated 9 years ago
- Code for the paper "Rethinking Benchmark and Contamination for Language Models with Rephrased Samples"☆320Dec 20, 2023Updated 2 years ago
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆75May 30, 2025Updated 11 months ago
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆82Nov 2, 2022Updated 3 years ago
- Polish datsets for grammatical error correction☆12Oct 13, 2023Updated 2 years ago
- This is Max's blog, something interesting in it.☆13Jan 1, 2023Updated 3 years ago