Skip to content
View TheAeryan's full-sized avatar
12 followers · 8 following
  • Universidad de Granada
  • Granada, Spain

Achievements

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@pddl-heuristic-learning

Block or report TheAeryan

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. AI-Planning/lifted-pddl AI-Planning/lifted-pddl Public

    A lightweight framework for the efficient parsing and manipulation of PDDL in lifted form.

    Python 11

  2. ari-dasci/S-PlanningProblemGeneration ari-dasci/S-PlanningProblemGeneration Public

    Code and data of "NeSIG: A Neuro-Symbolic Method for Learning to Generate Planning Problems"

    PDDL 4 1

  3. stable-truncated-gaussian stable-truncated-gaussian Public

    A numerically-stable and differentiable implementation of the Truncated Gaussian distribution in Pytorch.

    Python 8 2

  4. PDDL-Prover PDDL-Prover Public

    A python prover for evaluating FOL formulas on PDDL

    Python 3

  5. simple-NLM simple-NLM Public

    A simple Pytorch implementation of Neural Logic Machines (arxiv.org/abs/1904.11694).

    Python 1