4 ms·
Is there actually some way of formal verification of software that is driven mostly by machine learning? I imagine there's a small core of code that runs some t
by elcapitan 11y ago
Is there actually some way of formal verification of software that is driven mostly by machine learning? I imagine there's a small core of code that runs some trained models, but how are they being formally verified? How do we know there's not a blind spot in that model that turns out to be fatal under certain conditions?
- lallysingh 11y agoI'd imagine that you'd have some hybrid of ML and traditional code, and may be able to reason statistically about the ML sections, and user traditional (verified) code to cut the tail on the distribution. All pipe dreams of mine, but the research potential here could be worth flaming truckloads of grant money :-)