8 citations · 8 across the 3 of their papers we have counts for
3 papers
cs.AI2025
Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification
Yuke Liao, Blaise Genest, Kuldeep Meel +1
To handle complex instances, we revisit a divide-and-conquer approach to break down the complexity: instead of few complex BaB calls, we rely on many small {\em partial} MILP calls…
cs.SE2024
Function+Data Flow: A Framework to Specify Machine Learning Pipelines for Digital Twinning
Eduardo de Conto, Blaise Genest, Arvind Easwaran
The development of digital twins (DTs) for physical systems increasingly leverages artificial intelligence (AI), particularly for combining data from different sources or for creat…
cs.DB2010★ 8 cited
Verifying Recursive Active Documents with Positive Data Tree Rewriting
Blaise Genest, Anca Muscholl, Zhilin Wu
This paper proposes a data tree-rewriting framework for modeling evolving documents. The framework is close to Guarded Active XML, a platform used for handling XML repositories evo…