The official GitHub page for the survey paper "A Survey on LLM Symbolic Reasoning". And this paper is under review.
☆44May 28, 2026Updated 3 months ago
Alternatives and similar repositories for LLM-Symbolic-Reasoning-Survey
Users that are interested in LLM-Symbolic-Reasoning-Survey are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Official code for "Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning", ICL…☆33May 12, 2025Updated last year
- Awesome-Streaming-Video-Avatar☆25Jul 29, 2026Updated last month
- Code for the paper "LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference" at ASE 2024☆30Sep 3, 2024Updated 2 years ago
- "Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis" (ICML 2025) official implementation.☆16Jun 8, 2025Updated last year
- ☆19Sep 10, 2023Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆18Jun 20, 2025Updated last year
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated last year
- [NeurIPS 2025] 𝓡𝓣𝓥-𝓑𝓮𝓷𝓬𝓱: Benchmarking MLLM Continuous Perception, Understanding and Reasoning through Real-Time Video.☆32Jan 15, 2026Updated 8 months ago
- [CVPR 2026] - IsoCLIP: Decomposing CLIP Projectors for Efficient Intra-modal Alignment☆32May 29, 2026Updated 3 months ago
- A lightweight Text-to-Image Retrieval model [Web App]☆31Dec 6, 2024Updated last year
- 软件工程与形式化方法相关前沿工作阅读与分享☆37Oct 27, 2025Updated 10 months ago
- Official repository for "DYPLOC: Dynamic Planning of Content Using Mixed Language Models for Opinion Text Generation"☆10May 20, 2022Updated 4 years ago
- PyTorch Implementation of the paper "Probabilistic Abduction for Visual Abstract Reasoning via Learning Rules in Vector-symbolic Architec…☆10Sep 18, 2025Updated last year
- Research paper based on or related to ABC.☆74Jun 11, 2026Updated 3 months 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.
- Repository of GUI Action Narrator☆13Apr 8, 2025Updated last year
- C++ implementation of FRAIGs. Won the 1st place in 2018 Cadence-sponsored contest in NTU DSnP.☆10Oct 21, 2020Updated 5 years ago
- ☆17Jun 21, 2026Updated 3 months ago
- Paper List for our ACL 2026 paper "Towards Intrinsic Interpretability of Large Language Models: A Survey of Design Principles and Archite…☆22Apr 23, 2026Updated 4 months ago
- EventHallusion: Diagnosing Event Hallucinations in Video LLMs☆34Aug 5, 2025Updated last year
- ☆30Jan 30, 2025Updated last year
- Official github repository for the paper "Unsupervised pre-training of graph transformers on patient population graphs"☆12Jul 17, 2023Updated 3 years ago
- 🎯 Collect and create an outstanding homepage template that is relevant to your project. 🎀 Create a homepage for your work!☆18Sep 3, 2026Updated 2 weeks ago
- This repository contains the code for our paper "Augmenting Black-box LLMs with Medical Textbooks for Clinical Question Answering" [EMNLP…☆14Oct 8, 2024Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A high-efficiency hybrid solving CEC algorithm☆14May 25, 2023Updated 3 years ago
- Win + D for One Monitor (Show Desktop only for One Monitor)☆10Dec 15, 2022Updated 3 years ago
- DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Prediction (ASP-DAC 2024)☆14Nov 2, 2023Updated 2 years ago
- "GraphArena: Evaluating and Exploring Large Language Models on Graph Computation" in ICLR 2025☆33Mar 2, 2025Updated last year
- Hinton's Forward-Forward Algorithm for Deep Learning☆10Feb 6, 2023Updated 3 years ago
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.☆16Feb 22, 2023Updated 3 years ago
- CS194-196 Course Project☆15Feb 20, 2025Updated last year
- A rule-based aproach to explain the output of any machine learning model☆17Apr 4, 2024Updated 2 years ago
- [NeurIPS'25 Spotlight] Official implementation of "JavisGPT: A Unified Multi-modal LLM for Sounding-Video Comprehension and Generation"☆75Feb 26, 2026Updated 6 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- GPU model checker☆13Apr 17, 2019Updated 7 years ago
- vscode-drawio增强版，提供代码跳转功能☆10Feb 20, 2025Updated last year
- Integrating Clinical Knowledge into Concept Bottleneck Models (MICCAI2024)☆15Sep 12, 2024Updated 2 years ago
- Hardware Formal Verification Tool☆117Updated this week
- This repository is dedicated to providing a comprehensive guide and practical examples for using VC Formal for formal verification. Our g…☆52Mar 3, 2024Updated 2 years ago
- (ICCV 2025) OmniSAM: Omnidirectional Segment Anything Model for UDA in Panoramic Semantic Segmentation☆20Oct 11, 2025Updated 11 months ago
- ☆12Dec 29, 2022Updated 3 years ago