angmavrogiannis/Cook2LTL
Code for the ICRA 2024 Cook2LTL paper on translating free-form cooking recipes to Linear Temporal Logic (LTL) formulae for robot task planning.
This tool helps automate robot task planning for complex activities like cooking. It takes a natural language cooking recipe, breaks down high-level instructions into basic robot movements, and outputs precise, unambiguous task specifications in a format called Linear Temporal Logic (LTL). Roboticists and automation engineers designing or programming robots for intricate, multi-step tasks would find this valuable.
No commits in the last 6 months.
Use this if you need to translate human-friendly, step-by-step instructions into a formal, machine-executable plan for robotic systems.
Not ideal if you are not working with robot task planning or do not need to convert natural language into formal logical specifications.
Stars
20
Forks
5
Language
Python
License
MIT
Category
Last pushed
Oct 18, 2024
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/llm-tools/angmavrogiannis/Cook2LTL"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
SAP-samples/codejam-cap-llm
This repository contains the content for the CAP and Generative AI Hub CodeJam. It includes...
qxresearch/qxresearch-event-1
Python hands on tutorial with 50+ Python Application (10 lines of code) By @xiaowuc2
diegopacheco/ai-playground
AI POCS: ML, NLP, LLM, Vision, Classification, clustering, GenAI, Transformers, PyTorch, Keras,...
simranjeet97/75DayHard_GenAI_LLM_Challenge
This repository contain my 75Day Hard Generative AI and LLM Learning Challenge.
jedi4ever/learning-llms-and-genai-for-dev-sec-ops
A set of lessons aimed at anyone learning LLM and generative AI concepts, with sections on...