Search Results for author:
Found 7 papers, 0 papers with code
NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks
In this work, we present an early prototype of NeVer 2. 0, a new system for automated synthesis and analysis of deep neural networks. NeVer 2. 0borrows its design philosophy from NeVer, the first package that integrated learning, automated verification and repair of (shallow) neural networks in a single tool.
Verification of Neural Networks: Enhancing Scalability through Pruning
Verification of deep neural networks has witnessed a recent surge of interest, fueled by success stories in diverse domains and by abreast concerns about safety and security in envisaged applications.
SMarTplan: a Task Planner for Smart Factories
Smart factories are on the verge of becoming the new industrial paradigm, wherein optimization permeates all aspects of production, from concept generation to sales.
Automated Verification of Neural Networks: Advances, Challenges and Perspectives
Neural networks are one of the most investigated and widely used techniques in Machine Learning.
Constrained Image Generation Using Binarized Neural Networks with Decision Procedures
To perform image generation we need to define a mapping from a porous medium to its physical process parameters.
The Multi-engine ASP Solver ME-ASP: Progress Report
MEASP is a multi-engine solver for ground ASP programs.
A Multi-Engine Approach to Answer Set Programming
Then, we apply classification methods that, given the features of the instances in a {\sl training} set and the solvers' performance on these instances, inductively learn algorithm selection strategies to be applied to a {\sl test} set.
