Skip to content
implementation starting point
Benchmarks: missing
Time to repro: a few hours
1 risk flag
pytorch

Results & Benchmarks

Freshness tier: cold
Direct + Inferred Evidence

No concrete benchmark grounding is available yet. Treat the page as context or an implementation starting point only.

SymbolicAI: A framework for logic-based approaches combining generative models and solvers is the primary contribution described in this paper.

Use This Implementation Because…

Confidence: high

ExtensityAI/symbolicai is the strongest maintained implementation based on ranking signals. License is declared (BSD-3-Clause). Dependency/environment manifests are present.

Open ExtensityAI/symbolicai

Reproduction Risks

  • No CI workflows detected
Evidence disclosure

Evidence graph: 3 refs, 3 links.

Utility signals: depth 55/100, grounding 75/100, status medium.

Implementation Comparison

Top 3 paths

Compare maintenance quality, reproducibility coverage, and evidence confidence before choosing a reproduction baseline.

ExtensityAI/symbolicai
best maintained
Maintenance: Active
Confidence: High
Reproducibility: Moderate

Official implementation from Papers with Code · Repository link is mentioned in the paper metadata

Stars
1,731
Last push
Jun 15, 2026 (5d ago)
ReleasesDependencies

Risk flags

  • No CI pipeline detected
  • No Docker setup
extensityai/benchmark
historical official
Maintenance: Stale
Confidence: High
Reproducibility: Moderate

Official implementation from Papers with Code · Repository link is mentioned in the paper metadata

Stars
42
Last push
Aug 3, 2024 (686d ago)
Dependencies

Risk flags

  • No push in 12+ months
  • No CI pipeline detected
  • No tagged releases
xpitfire/symbolicai
alternative
Maintenance: Active
Confidence: Low
Reproducibility: Moderate

Community adoption signal (1731 stars)

Stars
1,731
Last push
Jun 15, 2026 (5d ago)
ReleasesDependencies

Risk flags

  • No CI pipeline detected
  • No Docker setup
  • Low confidence match

Best implementation now

ExtensityAI/symbolicai
Confidence: High
Reproducibility: Moderate

A neurosymbolic perspective on LLMs

Stars: 1,731
Forks: 92
Last push: Jun 15, 2026
License: BSD-3-Clause
Official implementation from Papers with Code
Repository link is mentioned in the paper metadata
Matched via arXiv identifier search
Community adoption signal (1731 stars)
License ✓
CI –
Deps ✓
Docker –
  • Selected ExtensityAI/symbolicai as the strongest maintained implementation for new work.
  • Includes dependency/environment manifest signals.
  • Repository activity is within the last 24 months.
  • Official repository is preserved separately as historical context.

Historical official implementation

Preserved for provenance. Not recommended as the default path for new builds.

extensityai/benchmark
Stars: 42
Last push: Aug 3, 2024

Reproduction readiness

Setup Required
Time to first repro: hours
Last checked: Jun 19, 2026

Dependencies pinned, manual setup needed

  • · ExtensityAI/symbolicai has pyproject.toml but requires manual environment setup.
  • · No Dockerfile — you will set up the environment manually.
  • · No CI pipeline — test coverage is unknown.
Open ExtensityAI/symbolicai

Quick start

git clone https://github.com/ExtensityAI/symbolicai.git
pip install -e .

No benchmark numbers could be verified. You will not be able to validate reproduction correctness against published numbers.

Additional implementations

No additional verified repositories beyond the primary recommendation.

These repositories had low-confidence matching signals and are hidden by default.

Hugging Face artifacts

No direct paper-linked artifacts were found. Showing strongest curated related artifacts for faster exploration.

Models

No trustworthy model matches right now.

Search models on Hugging Face

Spaces

No trustworthy demo spaces right now.

Search spaces on Hugging Face
Search models Search datasets Search spaces

Research context

Evaluation & Human Feedback Data

Open this paper in HFEPX to review benchmark signals, evaluation modes, and human-feedback protocol context.

Open in HFEPX

Need human evaluators for your AI research? Scale annotation with expert AI Trainers.

Post a Job Get a Quote