Alternatives and similar repositories for ACPBench

Users that are interested in ACPBench are comparing it to the libraries listed below

• AI-Planning / pddl-generators
  A collection of PDDL generators, some of which have been used to generate benchmarks for the International Planning Competition (IPC).
  ☆133Updated 2 weeks ago
• BatsResearch / planetarium
  Dataset and benchmark for assessing LLMs in translating natural language descriptions of planning problems into PDDL
  ☆59Updated last year
• microsoft / LLF-Bench
  A benchmark for evaluating learning agents based on just language feedback
  ☆90Updated 4 months ago
• BorealisAI / llm-pddl-planning
  ☆16Updated 8 months ago
• claireaoi / hierarchical-rule-induction
  Neuro-Symbolic Hierarchical Rule Induction
  ☆14Updated 2 years ago
• tommasocarraro / LTNtorch
  PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.
  ☆131Updated last year
• aig-upf / tarski
  Tarski - An AI Planning Modeling Framework
  ☆72Updated last year
• AI-Planning / cloud-solver
  Repository that lets you run an automated planner as a service on heroku.
  ☆26Updated 2 months ago
• AI-Planning / pddl
  Unquestionable PDDL 3.1 parser
  ☆148Updated 3 weeks ago
• Agent-E3 / ExACT
  ☆25Updated 7 months ago
• berlino / grammar-prompting
  Grammar Prompting for Domain-Specific Language Generation with Large Language Models
  ☆75Updated last year
• AI-Planning / planning-as-a-service
  The newly improved planner (and more) in the cloud.
  ☆38Updated 5 months ago
• xiye17 / SAT-LM
  SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)
  ☆50Updated last year
• AI-Planning / lifted-pddl
  A lightweight framework for the efficient parsing and manipulation of PDDL in lifted form.
  ☆17Updated last year
• DeLLMa / DeLLMa
  Official Implementation of "DeLLMa: Decision Making Under Uncertainty with Large Language Models"
  ☆64Updated last year
• princeton-nlp / lwm
  We develop world models that can be adapted with natural language. Intergrating these models into artificial agents allows humans to effe…
  ☆24Updated last year
• IBM / LOA
  Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games
  ☆50Updated last month
• google-deepmind / questbench
  ☆31Updated 5 months ago
• facebookresearch / oni
  Learn online intrinsic rewards from LLM feedback
  ☆44Updated 10 months ago
• DillonZChen / goose
  Graph Learning for PDDL Planning
  ☆18Updated 3 weeks ago
• GuanSuns / LLMs-World-Models-for-Planning
  The source code of the paper "Leveraging Pre-trained Large Language Models to Construct and Utilize World Models for Model-based Task Pla…
  ☆103Updated last year
• benlipkin / linc
  🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]
  ☆77Updated last year
• IBM / neuro-symbolic-ai
  Neuro-Symbolic AI Toolkit
  ☆106Updated last month
• codezakh / DataEnvGym
  A testbed for agents and environments that can automatically improve models through data generation.
  ☆27Updated 7 months ago
• aibasel / downward
  The Fast Downward domain-independent classical planning system
  ☆348Updated this week
• abdulhaim / LMRL-Gym
  ☆104Updated last year
• IBM / nl2ltl
  Natural Language (NL) to Linear Temporal Logic (LTL)
  ☆84Updated last month
• brownirl / rlang
  A Declarative Language for Expressing Partial World Knowledge to Reinforcement Learning Agents
  ☆16Updated last year
• allenai / discoveryworld
  A virtual environment for developing and evaluating automated scientific discovery agents.
  ☆188Updated 7 months ago
• tomsilver / llm-genplan
  ☆63Updated last year