Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper
Query: RuleExtraction asaFormal MethodfortheVerification andValidation ofNeural Networks
Using Sampling and Queries to Extract Rules from Trained Neural Networks
Using Neural Network Rule Extraction and Decision Tables for Credit-Risk Evaluation
Global Explanations of Neural Networks: Mapping the Landscape of Predictions
Challenging SMT solvers to verify neural networks
AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation
statistical evaluation of neural networks experiments : minimum requirements and current practice .
Safety Verification of Deep Neural Networks
A neural model of rule generation in inductive reasoning
Foundations of Rule Learning
The truth will come to light: directions and challenges in extracting the knowledge embedded within trained artificial neural networks
Verification of Recurrent Neural Networks
A framework for the automatic extraction of rules from online text
A Dual Approach to Scalable Verification of Deep Networks
Formal Security Analysis of Neural Networks using Symbolic Intervals
Symbolic Execution for Deep Neural Networks
Automatic Rule Extraction from Long Short Term Memory Networks
Text extraction using artificial neural networks
Rule extraction from autoencoder-based connectionist computational models
Rule-Based Neural Networks for Classification and Probability Estimation
O N THE EXPRESSIVE POWER OF DEEP NEURAL NETWORKS
Detecting and Classifying Emotion in Popular Music
Book2Vec: Representing Books in Vector Space Without Using the Contents
A theory of the learnable
Anatomy of a Failed Knowledge Management Initiative: Lessons from PharmaCorp's Experiences
A brief review of current scientific evidence involving aromatherapy use for nausea and vomiting.