Ying1123 / awesome-neural-symbolicView external linksLinks
A list of awesome neural symbolic papers.
☆51Jul 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
Sorting:
- A schedule language for large model training☆152Aug 21, 2025Updated 5 months ago
- Automatic Mapping Generation, Verification, and Exploration for ISA-based Spatial Accelerators☆121Oct 26, 2022Updated 3 years ago
- Collect simple coverage information in memory.☆11Oct 6, 2022Updated 3 years ago
- ☆84Dec 2, 2022Updated 3 years ago
- The First International Workshop on Large Language Model for Code 2024 (Co-Located with ICSE 2024)☆17Oct 4, 2024Updated last year
- ☆145Jan 30, 2025Updated last year
- Website for Systems Research Seminar at UIUC☆20Updated this week
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆71Mar 9, 2023Updated 2 years ago
- ☆25Sep 12, 2019Updated 6 years ago
- A PIM instrumentation, compilation, execution, simulation, and evaluation repository for BLIMP-style architectures.☆18May 12, 2022Updated 3 years ago
- ☆42Sep 8, 2023Updated 2 years ago
- Domain-Specific Architecture Generator 2☆22Oct 2, 2022Updated 3 years ago
- ☆19Nov 7, 2019Updated 6 years ago
- ☆95Nov 4, 2022Updated 3 years ago
- ☆23Apr 28, 2023Updated 2 years ago
- Codebase for Neuro-Symbolic Continual Learning.☆27Aug 21, 2023Updated 2 years ago
- This is the implement repository of our upcoming ESEC/FSE 2020 paper: Deep Learning Library Testing via Effective Model Generation.☆55Oct 29, 2023Updated 2 years ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆27Mar 25, 2023Updated 2 years ago
- ☆33Feb 2, 2026Updated 2 weeks ago
- Code for NeurIPS2023 Paper "Symbol-LLM: Leverage Language Models for Symbolic System in Visual Human Activity Reasoning"☆26Dec 19, 2023Updated 2 years ago
- A list of awesome GNN systems.☆336Updated this week
- MONeT framework for reducing memory consumption of DNN training☆174May 4, 2021Updated 4 years ago
- ☆120Apr 22, 2024Updated last year
- MIG Welder Controller☆10May 20, 2015Updated 10 years ago
- Scripts for rendering shapenet data in blender☆29Nov 26, 2020Updated 5 years ago
- implementation of our self-guided and self-regularized actor-critic algorithm☆30Jan 1, 2023Updated 3 years ago
- Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs☆41Feb 15, 2024Updated 2 years ago
- ☆38Jul 19, 2025Updated 6 months ago
- A python web scraper built on Selenium to gather profile data from okcupid.com☆12Oct 15, 2022Updated 3 years ago
- This project is intended to build and deploy an SNPE model on Qualcomm Devices, which are having unsupported layers which are not part of…☆10Oct 4, 2021Updated 4 years ago
- Python package designed for single-cell calling cards data☆16Jun 8, 2025Updated 8 months ago
- Play with MLIR right in your browser☆138May 25, 2023Updated 2 years ago
- Boost hardware utilization for ML training workloads via Inter-model Horizontal Fusion☆32May 15, 2024Updated last year
- ☆30Oct 3, 2023Updated 2 years ago
- A language and compiler for irregular tensor programs.☆151Nov 29, 2024Updated last year
- ☆106Feb 25, 2025Updated 11 months ago
- [FCCM 2023] PASTA: Programming and Automation Support for Scalable Task-Parallel HLS Programs on Modern Multi-Die FPGAs☆13Jun 26, 2025Updated 7 months ago
- SOTA Learning-augmented Systems☆37May 21, 2022Updated 3 years ago
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆40May 17, 2023Updated 2 years ago