SpecAgent: Translating Natural Language to Temporal Logics
Expert Dataset
Settings
Model Configuration
API Key
API Base URL
API Model Name
Client Type
OpenAI-compatible
Anthropic (Claude)
Thinking Type
Streaming (visible)
Hidden (o-series)
Passthrough (Claude)
None (prompt CoT)
Temperature
Timeout (s)
Max Tokens
Editing: ...
Rename
Delete
Expert Dataset
All
CTL
STL
LTL
Semantic Refinement
Provide Feedback
Tell the AI what is wrong (e.g., "The operator should be implies, not and").
Natural Language
Expert Dataset
Model:
Spec:
LTL
CTL
STL
DeepThink
Auto Detect
Translate
AI Recommendation:
OnionL Syntax Tree
Reparse
Feedback
Processing...
▼
Deep Thinking
Visualization
Final Result
Explain