Search results

Pass through the interpreter geenrator

Status: Open.

#100 In Herb-AI/HerbBenchmarks.jl;

· sebdumancic opened on Dec 18, 2025

Add Morpheus dataset

Status: Open.

#98 In Herb-AI/HerbBenchmarks.jl;

· THinnerichs opened on Nov 13, 2025

Add functionality to add operators to grammar tag-based <code>interpret</code>

Status: Open.

#93 In Herb-AI/HerbBenchmarks.jl;

· THinnerichs opened on Sep 15, 2025

Merge the two separate ARC directories

Status: Open.

#91 In Herb-AI/HerbBenchmarks.jl;

· pwochner opened on Sep 4, 2025

Add HySynth grammar to ARC

Status: Open.

#90 In Herb-AI/HerbBenchmarks.jl;

· THinnerichs opened on Sep 3, 2025

Redundant rules in <code>SyGus.SLIA</code>

Status: Open.

#88 In Herb-AI/HerbBenchmarks.jl;

· THinnerichs opened on Jun 16, 2025

Move (large) benchmark data to artifacts

enhancementNew feature or requestNew feature or request

Status: Open.

#84 In Herb-AI/HerbBenchmarks.jl;

· ReubenJ opened on Apr 1, 2025

Add support for <code>SyGuS.CLIA</code> in <code>HerbBenchmarks</code>.

Status: Open.

#81 In Herb-AI/HerbBenchmarks.jl;

· THinnerichs opened on Feb 13, 2025

<code>SyGuS</code> module export does not work as intended.

Status: Open.

#80 In Herb-AI/HerbBenchmarks.jl;

· THinnerichs opened on Feb 6, 2025

Add SemGuS benchmarks

Status: Open.

#66 In Herb-AI/HerbBenchmarks.jl;

· THinnerichs opened on Jan 8, 2025

Add ARC DSL to benchmarks

Status: Open.

#63 In Herb-AI/HerbBenchmarks.jl;

· pwochner opened on Oct 25, 2024

Add remaining PSB2 problems

Status: Open.

#61 In Herb-AI/HerbBenchmarks.jl;

· IssaHanou opened on Oct 9, 2024