EVENT

Talk on "On testing networks that compute" by Artur Czumaj (U Warwick)

We are pleased to inform you about the upcoming seminar by Artur Czumaj (U Warwick) titled:"On testing networks that compute" Everyone interested is cordially invited to attend!

Title:

On testing networks that compute

Abstract:

We initiate the study of property testing of weighted computational networks viewed as computational devices. Our goal is to design property testing algorithms that for a given computational network with oracle access to the weights of the network, accept any network that computes a certain function (or a function with a certain property) and reject any network that is far from computing the function (or any function with the given property). We parameterize the notion of being far and want to reject networks that are (ε, δ)-far, which means that one needs to change an ε-fraction of the description of the network to obtain a network that computes a function that differs in at most a δ-fraction of inputs from the desired function (or any function with a given property).

To exemplify our framework, we present a case study involving simple neural Boolean networks with ReLU activation function. As a highlight, we demonstrate that for such networks, any near constant function is testable in query complexity independent of the network's size. We also show that a similar result cannot be achieved in a natural generalization of the distribution-free model to our setting, and also in a related vanilla testing model.

Joint work with Christian Sohler (University of Cologne).

Speaker:

Artur Czumaj (U Warwick)

Time/Date:

11:00-12:00 December 12 (Friday), 2025

Place:

Room 1810, NII

Contact:

If you would like to join, please contact by email.
Email :yyoshida[at]nii.ac.jp