2 ms·

There is a considerable ongoing research effort in formal verification of learned systems. Once an ML system has been trained, it becomes deterministic and can

by atroyn 10y ago

There is a considerable ongoing research effort in formal verification of learned systems. Once an ML system has been trained, it becomes deterministic and can be tested.

jayjay71 10y ago
That sounds neat. Can you link me to a paper?