8 papers
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…
Synthesizing Best Abstract Transformers via Parallel Bit-Vector Optimization
Weiqi Wang, Peisen Yao, Hanrui Zuo +3
Abstract interpretation provides a principled foundation for constructing sound static analyses through systematic abstraction. A central challenge is synthesizing the best abstrac…
EconCSLib: A Lean Library for Computational Economics and AI-Assisted Research
Xiaohui Bei, Jiajun Ma, Zhan Jing +2
Mathematical formalization uses interactive theorem provers to turn informal mathematical statements into machine-checkable artifacts. The success of mathlib, a large collaborative…
Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation
Jingyang Li, Xin Chen, Hongfei Fu +1
The problem of probabilistic verification of a neural network investigates the probability of satisfying the safe constraints in the output space when the input is given by a proba…
Array-Carrying Symbolic Execution for Function Contract Generation
Weijie Lu, Jingyu Ke, Hongfei Fu +4
Function contract generation is a classical problem in program analysis that targets the automated analysis of functions in a program with multiple procedures. The problem is funda…
Piecewise Analysis of Probabilistic Programs via -Induction
Tengshun Yang, Shenghua Feng, Hongfei Fu +3
In probabilistic program analysis, quantitative analysis aims at deriving tight numerical bounds for probabilistic properties such as expectation and assertion probability. Most pr…