HRItdy's repositories
LTL_Evaluator
Use multi-LLMs to evaluate whether the generated LTL task satisfies the natural language description.
Language:Python000
Use multi-LLMs to evaluate whether the generated LTL task satisfies the natural language description.