Machine learning and systems for the next frontier in formal verification

Author(s):  
Manish Pandey
2021 ◽  
Vol 31 (1) ◽  
pp. 310-326
Author(s):  
Ramakrishnan Raman ◽  
Nikhil Gupta ◽  
Yogananda Jeppu

IEEE Access ◽  
2020 ◽  
Vol 8 ◽  
pp. 23863-23874 ◽  
Author(s):  
Alireza Souri ◽  
Amin Salih Mohammed ◽  
Moayad Yousif Potrus ◽  
Mazhar Hussain Malik ◽  
Fatemeh Safara ◽  
...  

2020 ◽  
Vol 43 ◽  
Author(s):  
Myrthe Faber

Abstract Gilead et al. state that abstraction supports mental travel, and that mental travel critically relies on abstraction. I propose an important addition to this theoretical framework, namely that mental travel might also support abstraction. Specifically, I argue that spontaneous mental travel (mind wandering), much like data augmentation in machine learning, provides variability in mental content and context necessary for abstraction.


2020 ◽  
Author(s):  
Mohammed J. Zaki ◽  
Wagner Meira, Jr
Keyword(s):  

2020 ◽  
Author(s):  
Marc Peter Deisenroth ◽  
A. Aldo Faisal ◽  
Cheng Soon Ong
Keyword(s):  

Author(s):  
Lorenza Saitta ◽  
Attilio Giordana ◽  
Antoine Cornuejols

Sign in / Sign up

Export Citation Format

Share Document