A list of awesome neural symbolic papers.
☆53Jul 25, 2022Updated 4 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☆125Oct 26, 2022Updated 3 years ago
- A schedule language for large model training☆153Aug 21, 2025Updated last year
- ☆84Dec 2, 2022Updated 3 years ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆72Mar 9, 2023Updated 3 years ago
- Collect simple coverage information in memory.☆11Oct 6, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆10Feb 17, 2023Updated 3 years ago
- ITMO course☆14Mar 26, 2024Updated 2 years ago
- ☆42Sep 8, 2023Updated 3 years ago
- ☆144Jan 30, 2025Updated last year
- ☆102Nov 4, 2022Updated 3 years ago
- LaTeX-шаблон для магистерской диссертации ИТМО (AITH). Включает готовые настройки для таблиц, изображений, ссылок и библиографии. Поддерж…☆14May 24, 2025Updated last year
- The First International Workshop on Large Language Models for Code 2024 (Co-Located with ICSE 2024)☆17Oct 4, 2024Updated 2 years ago
- Codebase for Neuro-Symbolic Continual Learning.☆26Aug 21, 2023Updated 3 years ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Dec 21, 2022Updated 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.
- Website for Systems Research Seminar at UIUC☆21Updated this week
- 记录阅读各类paper的想法笔记（关注体系结构，机器学习系统，深度学习，计算机视觉）☆25Oct 25, 2019Updated 6 years ago
- SparseTIR: Sparse Tensor Compiler for Deep Learning☆145Mar 31, 2023Updated 3 years ago
- Code for "Learning to Regrasp by Learning to Place"☆21Dec 28, 2023Updated 2 years ago
- Torch Frontend for IREE☆26Dec 21, 2023Updated 2 years ago
- ☆20Aug 17, 2026Updated 2 months ago
- General system research material (not limited to paper) reading notes.☆22Mar 17, 2021Updated 5 years ago
- ☆17May 21, 2026Updated 5 months ago
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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
- 在RISC-V处理器上实现一个轻量级的Hypervisor。☆12Dec 25, 2020Updated 5 years ago
- Boost hardware utilization for ML training workloads via Inter-model Horizontal Fusion☆32May 15, 2024Updated 2 years ago
- Pointer analysis prototype (currently including anderson, steensgard).☆17Dec 20, 2021Updated 4 years ago
- A DSL for Linear Temporal Logic + Interface with Z3 for solving☆11Mar 12, 2015Updated 11 years ago
- ☆34Updated this week
- A PIM instrumentation, compilation, execution, simulation, and evaluation repository for BLIMP-style architectures.☆17May 12, 2022Updated 4 years ago
- Integrating Clinical Knowledge into Concept Bottleneck Models (MICCAI2024)☆15Sep 12, 2024Updated 2 years ago
- some sample caffemodel, prototxt, test images and pre compiled loadabes .☆14Apr 30, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆19Nov 7, 2019Updated 6 years ago
- Studies on "Knowledge Graph Curation with Deep Learning and Semantic Reasoning"☆13Sep 10, 2021Updated 5 years ago
- A list of awesome GNN systems.☆352Updated this week
- 2022 USTC 011705 (OSH) Course Project of Runikraft Group☆13Jul 22, 2022Updated 4 years ago
- ☆37Sep 8, 2026Updated last month
- Training and Benchmarking LLMs for Code Preference.☆38Nov 15, 2024Updated last year
- ☆31Sep 9, 2026Updated last month