15 citations · 24 across the 14 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.PL2024
SAT-DIFF: A Tree Diffing Framework Using SAT Solving
Chuqin Geng, Haolin Ye, Yihan Zhang +2
Computing differences between tree-structured data is a critical but challenging problem in software analysis. In this paper, we propose a novel tree diffing approach called SatDif…
cs.LG2024★ 1 cited
Learning Minimal Neural Specifications
Chuqin Geng, Zhaoyue Wang, Haolin Ye +1
Formal verification is only as good as the specification of a system, which is also true for neural network verification. Existing specifications follow the paradigm of data as spe…