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.

30
/ 100
Emerging

No commits in the last 6 months.

Stale 6m No Package No Dependents
Maintenance 0 / 25
Adoption 6 / 25
Maturity 9 / 25
Community 15 / 25

How are scores calculated?

Stars

20

Forks

5

Language

Python

License

MIT

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.