The official GitHub page for the survey paper "A Survey on LLM Symbolic Reasoning". And this paper is under review.
☆24Feb 15, 2026Updated last month
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
Sorting:
- ☆14May 7, 2025Updated 10 months ago
- ☆18Nov 20, 2024Updated last year
- Constrained Decoding of Diffusion LLMs with Context-Free Grammars.☆41Dec 17, 2025Updated 3 months ago
- A minimal Model Context Protocol 🖥️ server/client🧑💻with Azure OpenAI and 🌐 web browser control via Playwright.☆31Apr 7, 2025Updated 11 months ago
- THEORY OF SPACE: a benchmark for evaluating whether foundation models can actively explore under partial observability efficiently to bui…☆58Feb 27, 2026Updated 2 weeks ago
- 📝The official repository of "Rethinking Cross-Generator Image Forgery Detection through DINOv3"☆21Dec 2, 2025Updated 3 months ago
- Multi-step AI agents powered by Gemini 2.0 and the LangGraph framework. These agents orchestrate complex workflows and enhance their reas…☆10Dec 19, 2024Updated last year
- EventHallusion: Diagnosing Event Hallucinations in Video LLMs☆34Aug 5, 2025Updated 7 months ago
- This project implements a demonstrator agent that compares the Cache-Augmented Generation (CAG) Framework with traditional Retrieval-Augm…☆31Dec 30, 2024Updated last year
- 软件工程与形式化方法相关前沿工作阅读与分享☆36Oct 27, 2025Updated 4 months ago
- ☆17Apr 18, 2024Updated last year
- Martingale posterior neural networks for fast sequential decision making @ Neurips 2025☆23Nov 13, 2025Updated 4 months ago
- Software to enable data-rich collaboration from high-resolution display walls to your laptop☆17Mar 9, 2026Updated last week
- vscode-drawio增强版，提供代码跳转功能☆10Feb 20, 2025Updated last year
- Semiont supports human+ai collaborative knowledge work. Use it as: a Semantic Layer, Context Graph, Knowledge Base, Wiki, Annotator, Res…☆31Updated this week
- AI小说洗文工具☆17Jul 19, 2025Updated 7 months ago
- ☆32Feb 3, 2026Updated last month
- Auction Theory Toolbox – Computer Verified Auctions☆14Jul 12, 2016Updated 9 years ago
- Fast, free, easy, and object-agnostic video anonymization☆11Dec 12, 2020Updated 5 years ago
- Official repository for "DYPLOC: Dynamic Planning of Content Using Mixed Language Models for Opinion Text Generation"☆10May 20, 2022Updated 3 years ago
- Intelligent Self-driving System empowering Physical Agents (ISSPA)☆13Dec 23, 2024Updated last year
- MCP server for Grok AI API integration☆22Jun 2, 2025Updated 9 months ago
- MV-RAG combines retrieval with multi-view generation to create accurate 3D-consistent visuals. By retrieving reference images and text, i…☆24Nov 29, 2025Updated 3 months ago
- Self-evolving vision language models from zero data☆56Updated this week
- ☆13Oct 21, 2024Updated last year
- The official implementation of COOPER: A Unified Model for Cooperative Perception and Reasoning in Spatial Intelligence.☆28Dec 30, 2025Updated 2 months ago
- 一个将小说文本转换为漫画视频的Web应用，支持多种漫画风格、AI配音和背景音乐☆26May 28, 2025Updated 9 months ago
- A meta-repo that watches karpathy/autoresearch and adjacent systems, distills portable patterns for bounded agent-verifier research lo…☆38Mar 11, 2026Updated last week
- (CVPR 2026) Long-RVOS: A Comprehensive Benchmark for Long-term Referring Video Object Segmentation☆28Feb 28, 2026Updated 2 weeks ago
- [SIGIR 2025] Benchmarking Recommendation, Classification, and Tracing Based on Hugging Face Knowledge Graph☆16Jun 6, 2025Updated 9 months ago
- Benchmark evaluating ocean forecasting systems against reference datasets and observations.☆27Updated this week
- [EMNLP2023]: MIRACLE: Towards Personalized Dialogue Generation with Latent-Space Multiple Personal Attribute Control☆12Nov 11, 2023Updated 2 years ago
- ☆19Jan 15, 2026Updated 2 months ago
- ☆12Nov 5, 2024Updated last year
- Struct-aware fuzzing framework + some fuzzers☆30Jan 28, 2026Updated last month
- Langchain-powered natural language interface to knowledge-graphs.☆17Nov 3, 2025Updated 4 months ago
- This repository implements the "Ralph" autonomous coding loop pattern, designed to be agnostic of the specific AI agent being used. Wheth…☆31Jan 7, 2026Updated 2 months ago
- ☆25Dec 19, 2025Updated 2 months ago