Giters

HRItdy / LTL_Evaluator

Use multi-LLMs to evaluate whether the generated LTL task satisfies the natural language description.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

LTL_Evaluator

Use multi-LLMs to evaluate whether the generated LTL task satisfies the natural language description.

About

Use multi-LLMs to evaluate whether the generated LTL task satisfies the natural language description.

Languages

Language:Python 100.0%