A 4B-parameter local LLM trained with tool-augmented process-rewarded learning generates STL formulas from natural language at state-of-the-art accuracy on a new bilingual benchmark.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
years
2026 2verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
The authors outline a framework for converting human safety rules and preferences into formal logic constraints for vision-language model assisted robot navigation.
citing papers explorer
-
ReasonSTL: Bridging Natural Language and Signal Temporal Logic via Tool-Augmented Process-Rewarded Learning
A 4B-parameter local LLM trained with tool-augmented process-rewarded learning generates STL formulas from natural language at state-of-the-art accuracy on a new bilingual benchmark.
-
From Language to Logic: A Theoretical Architecture for VLM-Grounded Safe Navigation
The authors outline a framework for converting human safety rules and preferences into formal logic constraints for vision-language model assisted robot navigation.