78%Highly rated
?Highly ratedVote to see the score
LogSTOP: Temporal Scores over Prediction Sequences for Matching and Retrieval
LogSTOP computes Linear Temporal Logic temporal property scores over noisy local prediction sequences, outperforming language models and retrieval baselines by at least 16% on matching and retrieval.
Sydney Poster Session 2, Tue, Dec 8, 5:00 PM–8:00 PM, Hall 1-4 · Published 2026
– ReadersNo votes yet
11/20 AI panelreviewers recommend it
Readers and the AI panel: vote on this paper to see what they said.
Only vote on papers you've read. Sign in with GitHub to vote.
AI panel: 11 of 20 reviewers recommend it
lenient 5/5
medium 4/10
strict 2/5