nl2ltl

nl2ltl copied to clipboard

Would love to see a wrapped version that lets us do something like this: ```bash $ planutils install nl2ltl $ nl2ltl --input "At some point you need to either submit...

haz

For arXiv (after the AAAI Demo deadline).

TathagataChakraborti

The set inclusion checks within the greedy filter do not work properly.

francescofuggitti

``` /opt/anaconda3/envs/nl2ltl/lib/python3.8/site-packages/future/standard_library/__init__.py:65: DeprecationWarning: the imp module is deprecated in favour of importlib; see the module's documentation for alternative uses import imp /opt/anaconda3/envs/nl2ltl/lib/python3.8/site-packages/keras_preprocessing/image/utils.py:23: DeprecationWarning: NEAREST is deprecated and will be removed...

TathagataChakraborti

Illustration of + [ ] Integration with [Plan4Past](https://github.com/whitemech/planning-for-past-termporal-goals). + [ ] Application in an industry [use case](https://www.aaai.org/AAAI22Papers/DEMO-00255-BrachmanM.pdf).

TathagataChakraborti

One confusion about the output

2

May I ask that LTL formula is not directly output in the output result? May I ask how to directly output LTL formula?

guest-oo

Install problems

4

- Installed using pip as recommended. - Using demo LOC `engine = GPTEngine()` Got an error that `nl2ltl/engines/gpt/data/prompt.json` was missing. - created nl2ltl/engines/gpt/data/prompt.json locally and copied contents of that file...

Bazmundi