Luca Arnaboldi | DeepAI

DeepAI AI Chat

Featured Co-authors

Florent Krzakala
88 publications
Verena Rieser
42 publications
Bruno Loureiro
25 publications
Ekaterina Komendantskaya
19 publications
Wen Kokke
12 publications
Ludovic Stephan
11 publications
Roberto Metere
9 publications
Robert Atkey
8 publications
Matthew L. Daggitt
8 publications
Charles Morisset
7 publications
Tanvi Dinkar
7 publications

∙ 05/29/2023

Escaping mediocrity: how two-layer networks learn hard single-index models with SGD

This study explores the sample complexity for two-layer neural networks ...

0 Luca Arnaboldi, et al. ∙

∙ 05/06/2023

ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification

Verification of machine learning models used in Natural Language Process...

0 Marco Casadio, et al. ∙

∙ 02/12/2023

From high-dimensional mean-field dynamics to dimensionless ODEs: A unifying approach to SGD in two-layers networks

This manuscript investigates the one-pass stochastic gradient descent (S...

8 Luca Arnaboldi, et al. ∙

∙ 08/06/2022

Towards Interdependent Safety Security Assessments using Bowties

We present a way to combine security and safety assessments using Bowtie...

0 Luca Arnaboldi, et al. ∙

∙ 06/21/2022

Why Robust Natural Language Understanding is a Challenge

With the proliferation of Deep Machine Learning into real-life applicati...

0 Marco Casadio, et al. ∙

∙ 02/10/2022

Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers

Verification of neural networks is currently a hot topic in automated th...

0 Matthew L. Daggitt, et al. ∙

∙ 05/19/2021

MetaCP: Cryptographic Protocol Design Tool for Formal Verification

We present MetaCP, a tool to aid the cryptographer throughout the proces...

0 Roberto Metere, et al. ∙

∙ 05/17/2021

A Review of Intrusion Detection Systems and Their Evaluation in the IoT

Intrusion Detection Systems (IDS) are key components for securing critic...

0 Luca Arnaboldi, et al. ∙

∙ 09/21/2020

Machine Learning Classification of Price Extrema Based on Market Microstructure Features: A Case Study of S P500 E-mini Futures

The study introduces an automated trading system for S&P500 E-mini futur...

0 Artur Sokolovsky, et al. ∙

∙ 11/28/2019

Modelling Load-Changing Attacks in Cyber-Physical Systems

Cyber-Physical Systems (CPS) are present in many settings addressing a m...

0 Luca Arnaboldi, et al. ∙

∙ 10/07/2019

Towards a Data Centric Approach for the Design and Verification of Cryptographic Protocols

We propose MetaCP, a Meta Cryptography Protocol verification tool, as an...

0 Luca Arnaboldi, et al. ∙

∙ 01/24/2019

Generating Synthetic Data for Real World Detection of DoS Attacks in the IoT

Denial of service attacks are especially pertinent to the internet of th...

0 Luca Arnaboldi, et al. ∙

∙ 10/30/2017

Quantitative Analysis of DoS Attacks and Client Puzzles in IoT Systems

Denial of Service (DoS) attacks constitute a major security threat to to...

0 Luca Arnaboldi, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world