yoav_hollander

Recent Submissions

1. 1. ▲ A path from autonomy V&V to AGI alignment? (lesswrong.com) 1 point · 1 year ago · 0 comments
2. 2. ▲ The V&V method – A step towards safer AGI (lesswrong.com) 1 point · 1 year ago · 0 comments
3. 3. ▲ About “The coming AI hackers” paper (blog.foretellix.com) 1 point · 5 years ago · 0 comments
4. 4. ▲ Estimating the residual risk of ADAS/AV (blog.foretellix.com) 1 point · 5 years ago · 0 comments
5. 5. ▲ GPT-3 and Verification (blog.foretellix.com) 1 point · 6 years ago · 0 comments
6. 6. ▲ Autonomy markets and their potential bugs (blog.foretellix.com) 2 points · 6 years ago · 0 comments
7. 7. ▲ M-SDL, the autonomous vehicles verification language, is now open (blog.foretellix.com) 2 points · 7 years ago · 0 comments
8. 8. ▲ Why testing the typical is not enough for Autonomous Vehicles (blog.foretellix.com) 1 point · 7 years ago · 0 comments
9. 9. ▲ Don't Stay in Monte Carlo (for Autonomous Vehicles Verification) (blog.foretellix.com) 1 point · 7 years ago · 0 comments
10. 10. ▲ Moving from autonomous vehicles verification to regulation (blog.foretellix.com) 1 point · 7 years ago · 0 comments