The official GitHub page for the survey paper "A Survey on LLM Symbolic Reasoning". And this paper is under review.
☆23Feb 15, 2026Updated last 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
Sorting:
- ☆14May 7, 2025Updated 9 months ago
- ☆17Nov 20, 2024Updated last year
- THEORY OF SPACE: a benchmark for evaluating whether foundation models can actively explore under partial observability efficiently to bui…☆25Feb 10, 2026Updated 2 weeks ago
- Constrained Decoding of Diffusion LLMs with Context-Free Grammars.☆40Dec 17, 2025Updated 2 months ago
- A minimal Model Context Protocol 🖥️ server/client🧑💻with Azure OpenAI and 🌐 web browser control via Playwright.☆31Apr 7, 2025Updated 10 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 6 months ago
- Software to enable data-rich collaboration from high-resolution display walls to your laptop☆15Updated this week
- Martingale posterior neural networks for fast sequential decision making @ Neurips 2025☆23Nov 13, 2025Updated 3 months ago
- AI-native knowledge kernel for human/agent collaboration. Use it as a Knowledge Base, Wiki, Annotator, Research Tool, or Agentic Memory.☆29Updated this week
- ☆17Apr 18, 2024Updated last year
- vscode-drawio增强版，提供代码跳转功能☆10Feb 20, 2025Updated last year
- [SIGIR 2025] Benchmarking Recommendation, Classification, and Tracing Based on Hugging Face Knowledge Graph☆16Jun 6, 2025Updated 8 months ago
- MCP server for Grok AI API integration☆19Jun 2, 2025Updated 8 months ago
- Auction Theory Toolbox – Computer Verified Auctions☆14Jul 12, 2016Updated 9 years ago
- MV-RAG combines retrieval with multi-view generation to create accurate 3D-consistent visuals. By retrieving reference images and text, i…☆23Nov 29, 2025Updated 2 months ago
- ☆13Oct 21, 2024Updated last year
- ☆31Feb 3, 2026Updated 3 weeks ago
- Intelligent Self-driving System empowering Physical Agents (ISSPA)☆13Dec 23, 2024Updated last year
- Fast, free, easy, and object-agnostic video anonymization☆11Dec 12, 2020Updated 5 years ago
- A python package to efficiently extract linguistic features for text/NLP datasets☆24Feb 18, 2026Updated last week
- Benchmark evaluating ocean forecasting systems against reference datasets and observations.☆24Updated this week
- 一个将小说文本转换为漫画视频的Web应用，支持多种漫画风格、AI配音和背景音乐☆26May 28, 2025Updated 8 months ago
- The official implementation of COOPER: A Unified Model for Cooperative Perception and Reasoning in Spatial Intelligence.☆28Dec 30, 2025Updated last month
- [EMNLP2023]: MIRACLE: Towards Personalized Dialogue Generation with Latent-Space Multiple Personal Attribute Control☆12Nov 11, 2023Updated 2 years ago
- ☆26Updated this week
- Mobile IDE☆12Nov 9, 2020Updated 5 years ago
- ☆25Dec 14, 2025Updated 2 months ago
- Code for the publication "Appa: Bending Weather Dynamics with Latent Diffusion Models for Global Data Assimilation".☆24Dec 4, 2025Updated 2 months ago
- Struct-aware fuzzing framework + some fuzzers☆30Jan 28, 2026Updated 3 weeks ago
- ☆11May 6, 2025Updated 9 months ago
- Multi-Aspect Controllable Text Generation with Disentangled Counterfactual Augmentation, ACL 2024 (main)☆13Sep 23, 2024Updated last year
- A UI designer for constructing AI applications with OpenSearch☆16Updated this week
- Official Repository for paper "Ontology-Free General-Domain Knowledge Graph-to-Text Generation Dataset Synthesis using Large Language Mod…☆14Nov 25, 2024Updated last year
- This repository contains the source code for a confluence context server, it provides prompts that can be used as slash commands for clie…☆11Jan 24, 2025Updated last year
- [NeurIPS 2025@FoRLM] R1-Compress: Long Chain-of-Thought Compression via Chunk Compression and Search☆17Jan 24, 2026Updated last month
- ☆24Oct 3, 2025Updated 4 months ago
- Python library for solving reinforcement learning (RL) problems using generative models.☆11Feb 18, 2025Updated last year
- An MCP tool that gets things done for you☆13Dec 22, 2024Updated last year