GitHub repository: prakashkagitha/hazlab-starter-code
Primary language: PDDL
Description: Sample data and code for using solver and VAL in a typical LLM-as-formalizer paradigm