arXiv research

SafePILCO is a Python tool for safe reinforcement learning.

Analyzes packing of circles in bounded and unbounded planes using mathematical formulas.

Scientific Computing relies on executing computer algorithms coded in some programming languages. Given a particular available hardware, algorithms speed is a crucial factor. There are many scientific computing environments used to code such algorithms. Matlab is one of the most tremendously successful and widespread s…

Polylab is a MATLAB toolbox for multivariate polynomial modeling.

Pattern recognition and machine learning are becoming integral parts of algorithms in a wide range of applications. Different algorithms and approaches for machine learning include different tradeoffs between performance and computation, so during algorithm development it is often necessary to explore a variety of diff…

MATLAB toolbox pde2path solves geometric PDEs and finds bifurcations in immersed surfaces.

Formalizes weak and strong verification for LLMs, controlling errors without assumptions.

This paper analyses the implementation and calibration of the Heston Stochastic Volatility Model. We first explain how characteristic functions can be used to estimate option prices. Then we consider the implementation of the Heston model, showing that relatively simple solutions can lead to fast and accurate vanilla o…

LIBS2ML is a library based on scalable second order learning algorithms for solving large-scale problems, i.e., big data problems in machine learning. LIBS2ML has been developed using MEX files, i.e., C++ with MATLAB/Octave interface to take the advantage of both the worlds, i.e., faster learning using C++ and easy I/O…

We consider the problem of finding the minimizer of a function $f: \mathbb{R}^d \rightarrow \mathbb{R}$ of the finite-sum form $\min f(w) = 1/n\sum_{i}^n f_i(w)$. This problem has been studied intensively in recent years in the field of machine learning (ML). One promising approach for large-scale data is to use a stoc…

This paper deals with the concept of curvature of framed space curves, their higher-order derivatives, variations, and co-rotational derivatives. We realize that parametrizing rotation tensor using the Gibbs vector is effective in deriving a closed form formula to obtain any order derivative of the curvature tensor as …

Paper develops PAC verification for hypothesis classes and statistical algorithms.

A new hypersurface of Tzitzeica type is obtained in all three forms: parametric, implicit and explicit. Its two-dimensional version, although well-known from a theoretical point of view, is plotted with Matlab.

ERFit identifies dynamic equations from data with minimal supervision.

Hypothesis testing is an important problem with applications in target localization, clinical trials etc. Many active hypothesis testing strategies operate in two phases: an exploration phase and a verification phase. In the exploration phase, selection of experiments is such that a moderate level of confidence on the …

We explore the concept of co-design in the context of neural network verification. Specifically, we aim to train deep neural networks that not only are robust to adversarial perturbations but also whose robustness can be verified more easily. To this end, we identify two properties of network models - weight sparsity a…

Braidlab is a Matlab package for analyzing data using braids. It was designed to be fast, so it can be used on relatively large problems. It uses the object-oriented features of Matlab to provide a class for braids on punctured disks and a class for equivalence classes of simple closed loops. The growth of loops under …

Accelerates DNN robustness verification with target labels.

New methods combat data poisoning attacks in bandit algorithms using limited verification.

In this paper we demonstrate that performance of a speaker verification system can be improved by concatenating electroencephalography (EEG) signal features with speech signal features or only using EEG signal features. We use state-of-the-art end-to-end deep learning model for performing speaker verification and we de…

Improves neural network verification by merging abstract domains and Lagrangian methods.

This paper explores formal verification for autonomous systems, identifying limitations and proposing improvements.

Paper develops a model for verifying facts in tables without pre-retrieved evidence.

Robustness verification that aims to formally certify the prediction behavior of neural networks has become an important tool for understanding model behavior and obtaining safety guarantees. However, previous methods can usually only handle neural networks with relatively simple architectures. In this paper, we consid…

Efficiently verifies neural networks by handling neuron splits, improving speed and accuracy.

Researchers find floating point errors can mislead neural network verifiers.

We study the robustness verification problem for tree-based models, including decision trees, random forests (RFs) and gradient boosted decision trees (GBDTs). Formal robustness verification of decision tree ensembles involves finding the exact minimal adversarial perturbation or a guaranteed lower bound of it. Existin…

This study extends verifiable learning to boosted tree ensembles, enabling efficient security verification.

Accelerating Speculative Diffusions via Block Verification

Verifying robustness of neural networks given a specified threat model is a fundamental yet challenging task. While current verification methods mainly focus on the $\ell_p$-norm threat model of the input instances, robustness verification against semantic adversarial attacks inducing large $\ell_p$-norm perturbations,…

This paper tackles robustness of ensemble stumps and trees under general ℓ_p norm perturbations.

The article describes the algorithm used to define the electricity price in day-ahead and itraday energy markets in Italy. Details of Matlab implementation of one of its simplified versions, capable of producing good results in a extremely short time, are then provided and numerical results are discussed.

This report provides an introduction to some Machine Learning tools within the most common development environments. It mainly focuses on practical problems, skipping any theoretical introduction. It is oriented to both students trying to approach Machine Learning and experts looking for new frameworks.

GPUPoly verifies large neural networks robustly on GPUs.

New spoofing strategies show PoL verification is more vulnerable than previously thought.

We present a scoring approach for speaker verification that mimics the standard PLDA-based backend process used in most current speaker verification systems. However, unlike the standard backends, all parameters of the model are jointly trained to optimize the binary cross-entropy for the speaker verification task. We …

NeuroDiff improves neural network equivalence verification with fine-grained approximations.

FPGAs have become a popular choice for deploying deep learning architectures (DLA). There are many researchers that have explored the deployment and mapping of DLA on FPGA. However, there has been a growing need to do design-time hardware-software co-verification of these deployments. To the best of our knowledge this …

Paper improves speaker verification with federated learning and differential privacy.

This paper presents an end-to-end text-independent speaker verification framework by jointly considering the speaker embedding (SE) network and automatic speech recognition (ASR) network. The SE network learns to output an embedding vector which distinguishes the speaker characteristics of the input utterance, while th…

This paper addresses the problem of formally verifying desirable properties of neural networks, i.e., obtaining provable guarantees that neural networks satisfy specifications relating their inputs and outputs (robustness to bounded norm adversarial perturbations, for example). Most previous work on this topic was limi…

Improved model predicts wildfire spread on slopes.

SFAVEL distills features from language models for fact verification without annotations.

In this paper, we propose a new differentiable neural network alignment mechanism for text-dependent speaker verification which uses alignment models to produce a supervector representation of an utterance. Unlike previous works with similar approaches, we do not extract the embedding of an utterance from the mean redu…

We introduce a novel implementation in ANSI C of the MINE family of algorithms for computing maximal information-based measures of dependence between two variables in large datasets, with the aim of a low memory footprint and ease of integration within bioinformatics pipelines. We provide the libraries minerva (with th…

Authorship verification tries to answer the question if two documents with unknown authors were written by the same author or not. A range of successful technical approaches has been proposed for this task, many of which are based on traditional linguistic features such as n-grams. These algorithms achieve good results…

Convex optimization is an essential tool for machine learning, as many of its problems can be formulated as minimization problems of specific objective functions. While there is a large variety of algorithms available to solve convex problems, we can argue that it becomes more and more important to focus on efficient, …

An important step in speaker verification is extracting features that best characterize the speaker voice. This paper investigates a front-end processing that aims at improving the performance of speaker verification based on the SVMs classifier, in text independent mode. This approach combines features based on conven…