research
∙
07/28/2022
Regression verification of unbalanced recursive functions with multiple calls (long version)
Given two programs p_1 and p_2, typically two versions of the same progr...
share
research
∙
07/17/2022
Automated Repair of Neural Networks
Over the last decade, Neural Networks (NNs) have been widely used in num...
research
∙
03/18/2021
Exploiting Isomorphic Subgraphs in SAT (Long version)
While static symmetry breaking has been explored in the SAT community fo...
research
∙
05/03/2020
A combination of 'pooling' with a prediction model can reduce by 73 number of COVID-19 (Corona-virus) tests
We show that combining a prediction model (based on neural networks), wi...
research
∙
06/18/2017