Communication dans un congrès, GALaC, Informatique
On the delta-decidability of decision problems for neural network questions
Olivier Bournez, Valentin Dardilhac, Johanne Cohen. On the delta-decidability of decision problems for neural network questions. Continuity, Computability, Constructivity. From Logic to Algorithms. CCC'23, 2023, Kyoto, Japan. ⟨hal-04338649⟩