yoav_hollander

5 ms·

1.
A path from autonomy V&V to AGI alignment?(lesswrong.com)
1 points by yoav_hollander 1y ago|0 comments
2.
The V&V method – A step towards safer AGI(lesswrong.com)
1 points by yoav_hollander 1y ago|0 comments
3.
by yoav_hollander 2y ago
Exactly. I was assuming that the by now the default answer to "LLMs sort-of do this, but not very well" should be "OK, wait a few months".
4.
About “The coming AI hackers” paper(blog.foretellix.com)
1 points by yoav_hollander 5y ago|0 comments
5.
by yoav_hollander 5y ago
It is interesting to consider that the Mongol conquests in Asia, much like the Spanish conquests in America, were facilitated by a weapon they did not know they had.
6.
Estimating the residual risk of ADAS/AV(blog.foretellix.com)
1 points by yoav_hollander 6y ago|0 comments
7.
GPT-3 and Verification(blog.foretellix.com)
1 points by yoav_hollander 6y ago|0 comments
8.
Autonomy markets and their potential bugs(blog.foretellix.com)
2 points by yoav_hollander 6y ago|0 comments
9.
by yoav_hollander 7y ago
Here is a (longish) post I wrote about this issue (mainly from the perspective of verifying autonomous vehicles): https://blog.foretellix.com/2017/07/06/where-machine-learnin...
10.
M-SDL, the autonomous vehicles verification language, is now open(blog.foretellix.com)
2 points by yoav_hollander 7y ago|0 comments
11.
Why testing the typical is not enough for Autonomous Vehicles(blog.foretellix.com)
1 points by yoav_hollander 8y ago|0 comments
12.
Don't Stay in Monte Carlo (for Autonomous Vehicles Verification)(blog.foretellix.com)
1 points by yoav_hollander 8y ago|0 comments
13.
Moving from autonomous vehicles verification to regulation(blog.foretellix.com)
1 points by yoav_hollander 8y ago|0 comments
14.
Bridging autonomous vehicles verification and regulation(blog.foretellix.com)
1 points by yoav_hollander 8y ago|0 comments
15.
Running autonomous vehicle scenarios: Some problems(foretellix.wordpress.com)
1 points by yoav_hollander 8y ago|0 comments
16.
by yoav_hollander 8y ago
This is a really good list. Thanks.
17.
What to do about the next 500 fatal autonomous vehicle crashes(blog.foretellix.com)
3 points by yoav_hollander 8y ago|0 comments
18.
What to do about the next 500 serious AV accidents(blog.foretellix.com)
1 points by yoav_hollander 8y ago|0 comments
19.
The Uber accident and the bigger picture(blog.foretellix.com)
1 points by yoav_hollander 8y ago|0 comments
20.
How to write autonomous vehicle scenarios(blog.foretellix.com)
1 points by yoav_hollander 9y ago|0 comments
21.
Verifying how autonomous vehicles behave *during* accidents(blog.foretellix.com)
2 points by yoav_hollander 9y ago|0 comments
22.
Verifying how autonomous vehicles behave *during* accidents(blog.foretellix.com)
1 points by yoav_hollander 9y ago|0 comments
23.
On Mobileye's formal model of autonomous vehicle safety(blog.foretellix.com)
1 points by yoav_hollander 9y ago|0 comments
24.
Using program induction for verification – will this work?(blog.foretellix.com)
2 points by yoav_hollander 9y ago|0 comments
25.
Autonomous vehicle verification updates: Waymo, Apple and more(blog.foretellix.com)
1 points by yoav_hollander 9y ago|0 comments
26.
Autonomous vehicle verification updates: Waymo, Apple and more(blog.foretellix.com)
1 points by yoav_hollander 9y ago|0 comments
27.
What's new in autonomous vehicle verification – part two(blog.foretellix.com)
1 points by yoav_hollander 9y ago|0 comments
28.
What's new in autonomous vehicle verification – part two(blog.foretellix.com)
3 points by yoav_hollander 9y ago|0 comments
29.
by yoav_hollander 9y ago
Cleanly connecting NNs to contracts / rules is indeed a hard problem, which many people would like to see solved. Please see my post about that [1], and the corresponding HN comment thread [2]. [1] http://blog.foretellix.com
30.
by yoav_hollander 9y ago
Right - as far as I know most ANNs _are_ embedded in some pipeline which contains also "regular" SW, and thus by definition there _is_ some way to connect them to a rule-based system. The only issue is that there is no easy, _natu

More ›