The official GitHub page for the survey paper "A Survey on LLM Symbolic Reasoning". And this paper is under review.
☆44Oct 28, 2026Updated this week
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:
- Translate Chisel hardware design code to Scala simulation code.☆15May 15, 2025Updated last year
- Code for the paper "LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference" at ASE 2024☆30Sep 3, 2024Updated 2 years ago
- Panoramic Affordance Prediction (PAP) (ECCV 2026)☆47Jun 29, 2026Updated 4 months ago
- [ICCAD'26] Forbench: Symbolic Simulation Helps Make Your Testbench More Formal☆15Sep 8, 2026Updated last month
- "Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis" (ICML 2025) official implementation.☆16Jun 8, 2025Updated last year
- 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.
- Plug in and Play Prompt Technique to Boost Model reasoning by 40%☆13May 30, 2023Updated 3 years ago
- Awesome-Streaming-Video-Avatar☆25Jul 29, 2026Updated 3 months ago
- ☆17Nov 20, 2024Updated last year
- [ACL 2026] Language of Thought Shapes Output Diversity in Large Language Models☆13Feb 1, 2026Updated 9 months ago
- ☆16Jul 10, 2022Updated 4 years ago
- [Constraints'24] Ner4Opt: Named-Entity Recognition for Optimization☆20Mar 30, 2026Updated 7 months ago
- Accelerated Birkhoff Projection for Manifold-Constrained Hyper-Connections (mHC).☆17Jun 10, 2026Updated 4 months ago
- BTOR2 MLIR project☆26Jan 17, 2024Updated 2 years ago
- ☆117Jan 11, 2026Updated 9 months 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
- Code for the EMNLP24 paper "A simple and effective L2 norm based method for KV Cache compression."☆19Dec 13, 2024Updated last year
- A collection of state-of-the-art solvers for regularized optimal transport (OT) problems, implemented in efficient C++ code.☆21Apr 25, 2026Updated 6 months ago
- [NeurIPS 2025] 𝓡𝓣𝓥-𝓑𝓮𝓷𝓬𝓱: Benchmarking MLLM Continuous Perception, Understanding and Reasoning through Real-Time Video.☆32Jan 15, 2026Updated 9 months ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆14Mar 27, 2025Updated last year
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 3 years ago
- ☆10Sep 29, 2024Updated 2 years ago
- AIGER And-Inverter-Graph Library☆107Feb 17, 2026Updated 8 months ago
- 软件工程与形式化方法相关前沿工作阅读与分享☆37Oct 27, 2025Updated last year
- 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.
- [CVPR 2025] FinePhys: Fine-grained Human Action Generation by Explicitly Incorporating Physical Laws for Effective Skeletal Guidance☆11May 20, 2025Updated last year
- ☆27Jan 22, 2026Updated 9 months ago
- EvolveGen: Algorithmic Level Hardware Model Checking Benchmark Generation through Reinforcement Learning (TACAS 2026)☆10Oct 9, 2025Updated last year
- MixtureGrowth: Growing Neural Networks by Recombining Learned Parameters☆11Nov 27, 2023Updated 2 years ago
- A tool to connect SMT-based frontends to Lean4.☆21Oct 21, 2026Updated last week
- Benchmark Dataset for Advancing Machine Learning in Heliophysics and Space Weather Prediction☆16Dec 6, 2025Updated 10 months ago
- Exploring Temporal Dynamics in Event-based Eye Tracker☆10Mar 26, 2025Updated last year
- PyTorch implementation of Deep Retina☆12Sep 15, 2025Updated last year
- [AAAI2026]The offical code for D²Pruner: Debiased Importance and Structural Diversity for MLLM Token Pruning☆10Jan 16, 2026Updated 9 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.
- Sparse Autoencoders (SAE) vs CLIP fine-tuning fun.☆18Dec 19, 2024Updated last year
- Utilizing Llama-2-7b and RAG, this medical QA system ensures precise, contextually accurate answers. With advanced embeddings and a robus…☆10Feb 6, 2024Updated 2 years ago
- An advanced circuit-based sat solver☆39Feb 24, 2025Updated last year
- Research paper based on or related to ABC.☆75Jun 11, 2026Updated 4 months ago
- SparAlloc: A Simple and Modular Framework for Decoupled Sparsity Allocation in Layerwise Pruning for LLM☆16Jun 5, 2025Updated last year
- A Lean-embedded framework to verify Verilog modules☆17Oct 6, 2026Updated 3 weeks ago
- Code for our Bioinformatics 2022 paper: "DxFormer: A Decoupled Automatic Diagnostic System Based on Decoder-Encoder Transformer with Dens…☆11Dec 24, 2022Updated 3 years ago