Chemical Case Studies in KeYmaera X.

Published in: CoRR (2022)

Keyphrases

case study
lessons learned
real world
open source
development process
chemical compounds
real time
data sets
neural network
image segmentation
similarity measure
reinforcement learning
preprocessing
knowledge management
problem based learning
detailed descriptions