yoav_hollander

8 ms·

31.
by yoav_hollander 9y ago
I agree to that. But: 1. Most ML techniques are bad at connecting to rules (random trees and inductive logic programming are a small subset). 2. Most of the ML techniques that one encounters in practice while verifying intelligent autonomou
32.
by yoav_hollander 9y ago
That is my opinion as well. And indeed the post talks mainly about dynamic verification and achieving some "good enough" verification quality (as determined by coverage and other metrics). And it is in that context that "soft
33.
by yoav_hollander 9y ago
I do think that random forests (and Inductive Logic Programming) seem easier to connect to rule-based "human-written" logic. It does seem though that Neural Networks are the main ML story, at least for now, by a wide margin.
34.
by yoav_hollander 9y ago
Thanks a lot - will look it up.
35.
by yoav_hollander 9y ago
OP here: I indeed meant it in the philosophical sense you describe. But I am very interested in the possible technical solutions. I tried to describe (in the chapter "Connecting ML and rules") the approaches I know of, none of whi
36.
Where machine learning meets rule-based systems(blog.foretellix.com)
140 points by yoav_hollander 9y ago|37 comments
37.
Where machine learning meets rules(blog.foretellix.com)
1 points by yoav_hollander 9y ago|0 comments
38.
by yoav_hollander 9y ago
Fun story - never heard it before. BTW, I think information travels over "normal" networking gear (e.g. fiber optics) at about 70% of the speed of light (which is why high-frequency trading tends to move to over-the-air microwave
39.
Dynamic verification (of anything) in one picture(blog.foretellix.com)
2 points by yoav_hollander 9y ago|0 comments
40.
What's new in autonomous vehicle verification(blog.foretellix.com)
30 points by yoav_hollander 9y ago|0 comments
41.
by yoav_hollander 9y ago
I think this presentation is mainly about implementation-related coverage, and there are of course many other kinds (not sure if this is what you were asking about). For instance, in HW design, there is a bigger emphasis on "functional
42.
DeepXplore and new ideas for verifying ML systems(blog.foretellix.com)
4 points by yoav_hollander 9y ago|1 comments
43.
by yoav_hollander 9y ago
One point already made by several people on this thread is that code coverage, while helpful, is not enough (and perhaps is not even the best bang for the buck). In hardware verification (where I come from, and where the cost of bugs is usu
44.
Some papers about autonomous vehicles verification(blog.foretellix.com)
1 points by yoav_hollander 9y ago|0 comments
45.
Mobileye, simulations and test tracks(blog.foretellix.com)
4 points by yoav_hollander 10y ago|0 comments
46.
Formal verification of really-complex systems(blog.foretellix.com)
1 points by yoav_hollander 10y ago|0 comments
47.
The Oscars bug and verification(blog.foretellix.com)
1 points by yoav_hollander 10y ago|0 comments
48.
Verifying interactions between autonomous vehicles and people(blog.foretellix.com)
1 points by yoav_hollander 10y ago|0 comments
49.
Verifying interactions between AVs and people(blog.foretellix.com)
2 points by yoav_hollander 10y ago|0 comments
50.
The “Synthetic Sensor Input” Problem in AV Verification(blog.foretellix.com)
1 points by yoav_hollander 10y ago|0 comments
51.
Verification, coverage and maximization: The big picture(blog.foretellix.com)
1 points by yoav_hollander 10y ago|0 comments
52.
Verification, coverage and maximization: The big picture(blog.foretellix.com)
1 points by yoav_hollander 10y ago|0 comments
53.
The verification gap, ML training and more(blog.foretellix.com)
2 points by yoav_hollander 10y ago|0 comments
54.
by yoav_hollander 10y ago
My intuition is that (1) unemployment will indeed continue to rise due to automation, (2) the world will not become a crime-ridden dystopian place, and (3) Guaranteed basic income will probably happen, in one form or another. I posted about
55.
Verification implications of the new US AV policy(blog.foretellix.com)
1 points by yoav_hollander 10y ago|0 comments
56.
by yoav_hollander 10y ago
Thanks. I did a second pass through the policy paper, and put a summary of the verification implications here: https://blog.foretellix.com/2016/09/21/verification-implicat...
57.
Verification implications of the new US Autonomous Vehicles policy(blog.foretellix.com)
1 points by yoav_hollander 10y ago|0 comments
58.
by yoav_hollander 10y ago
Finally posted my initial comments on the verification implications of all this here: https://blog.foretellix.com/2016/09/21/verification-implicat...
59.
by yoav_hollander 10y ago
Just ended. And here is Obama's call for safe automated vehicles: https://www.post-gazette.com/opinion/Op-Ed/2016/09/19/Barack...
60.
by yoav_hollander 10y ago
Live streaming just started here: https://www.transportation.gov/AV

More ›