Hacker News
- Where machine learning meets rule-based systems https://blog.foretellix.com/2017/07/06/where-machine-learning-meets-rule-based-verification/ 37 comments
Linking pages
- What’s new in AV verification: Stuttgart report part two – The Foretellix Blog https://blog.foretellix.com/2017/07/18/whats-new-in-av-verification-stuttgart-report-part-two/ 0 comments
- AV verification updates: Waymo, Apple and more – The Foretellix Blog https://blog.foretellix.com/2017/08/27/av-verification-updates-waymo-apple-and-more/ 0 comments
- Using program induction for verification – The Foretellix Blog https://blog.foretellix.com/2017/10/14/using-program-induction-for-verification/ 0 comments
Linked pages
- [1706.01427] A simple neural network module for relational reasoning https://arxiv.org/abs/1706.01427 13 comments
- [1706.07068] CAN: Creative Adversarial Networks, Generating "Art" by Learning About Styles and Deviating from Style Norms https://arxiv.org/abs/1706.07068 9 comments
- Machine Learning verification and Explainable AI – The Foretellix Blog https://blog.foretellix.com/2016/08/31/machine-learning-verification-and-explainable-ai/ 0 comments
- Using Machine Learning to verify Machine Learning? – The Foretellix Blog https://blog.foretellix.com/2016/09/14/using-machine-learning-to-verify-machine-learning/ 0 comments
- Formal verification of really-complex systems – The Foretellix Blog https://blog.foretellix.com/2017/03/13/misc-stuff-formal-verification-and-the-oscars-bug/ 0 comments
- Using program induction for verification – The Foretellix Blog https://blog.foretellix.com/2017/10/14/using-program-induction-for-verification/ 0 comments
- Misc stuff: Mobileye, simulations and test tracks – The Foretellix Blog https://blog.foretellix.com/2017/03/28/misc-stuff-mobileye-simulations-and-test-tracks/ 0 comments
- If a Driverless Car Goes Bad We May Never Know Why | MIT Technology Review https://www.technologyreview.com/s/601860/if-a-driverless-car-goes-bad-we-may-never-know-why/ 0 comments
- What’s new in AV verification: Report from the Stuttgart symposium – The Foretellix Blog https://blog.foretellix.com/2017/06/27/whats-new-in-av-verification-report-from-the-stuttgart-symposium/ 0 comments
- Dynamic verification in one picture – The Foretellix Blog https://blog.foretellix.com/2017/07/01/dynamic-verification-in-one-picture/ 0 comments
Related searches:
Search whole site: site:blog.foretellix.com
Search title: Where Machine Learning meets rule-based verification – The Foretellix Blog
See how to search.