Picture for Luca Arnaboldi

Luca Arnaboldi

Online Learning and Information Exponents: On The Importance of Batch size, and Time/Complexity Tradeoffs

Add code
Jun 04, 2024
Viaarxiv icon

Repetita Iuvant: Data Repetition Allows SGD to Learn High-Dimensional Multi-Index Functions

Add code
May 24, 2024
Viaarxiv icon

NLP Verification: Towards a General Methodology for Certifying Robustness

Add code
Mar 15, 2024
Viaarxiv icon

The Benefits of Reusing Batches for Gradient Descent in Two-Layer Networks: Breaking the Curse of Information and Leap Exponents

Add code
Feb 05, 2024
Viaarxiv icon

Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs

Add code
Jan 12, 2024
Viaarxiv icon

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

Add code
May 29, 2023
Viaarxiv icon

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

Add code
May 06, 2023
Figure 1 for ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification
Figure 2 for ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification
Figure 3 for ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification
Figure 4 for ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification
Viaarxiv icon

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

Add code
Feb 12, 2023
Viaarxiv icon

Why Robust Natural Language Understanding is a Challenge

Add code
Jun 21, 2022
Figure 1 for Why Robust Natural Language Understanding is a Challenge
Figure 2 for Why Robust Natural Language Understanding is a Challenge
Figure 3 for Why Robust Natural Language Understanding is a Challenge
Viaarxiv icon

Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers

Add code
Feb 10, 2022
Figure 1 for Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers
Figure 2 for Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers
Figure 3 for Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers
Figure 4 for Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers
Viaarxiv icon