1 citations · 1 across the 9 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2026
Sharp Two-Round Adaptivity and Round Hierarchies for Semantic Regular Expressions
Runzhou Li, Hongfei Fu, Qingkai Shi +1
Semantic regular expressions (SemREs) attach external Boolean predicates to matched spans, making both the number and the sequentiality of oracle calls central resources. For a fix…
cs.FL2025
Structural Abstraction and Refinement for Probabilistic Programs
Guanyan Li, Juanen Li, Zhilei Han +3
In this paper, we present structural abstraction refinement, a novel framework for verifying the threshold problem of probabilistic programs. Our approach represents the structure…