Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
ReasonSTL: Bridging Natural Language and Signal Temporal Logic via Tool-Augmented Process-Rewarded Learning
Bowen Ye, Zhijian Li, Junyue Huang +2
Signal Temporal Logic (STL) is an expressive formal language for specifying spatio-temporal requirements over real-valued, real-time signals. It has been widely used for the verifi…
cs.AI2026
Inference-Time Budget Control for LLM Search Agents
Zhengru Fang, Senkang Forest Hu, Zhonghao Chang +6
LLM search agents increasingly rely on tools at inference time, but their trajectories are often constrained by hard limits on both tool calls and generated tokens. Under such dual…