TLCrafter

A Framework for Translating Unstructured Natural Language to Temporal Logics with Large Language Models

Batch Upload Settings

Expert Dataset

Natural Language

Translate this sentence to onionL:

Model:

Specification:

AI Recommendation:

OnionL Syntax Tree

Checking Syntax & Auto-Fixing...

Please wait, optimizing structure...

Visualization

graph TD; Ready-->Please Translate;

Final Result

Semantic Refinement

Provide Feedback

Tell the AI what is wrong with the current code structure (e.g., "The operator should be implies, not and").

Model Configuration

API Base URL

API Key / Token

Saved locally in config.json

Default Tries

Default Temperature

Editing: ...