Session

DescriptionThis session covers deep learning synthesis and novel testing approaches. A meta reinforcement learning approach to synthesize deep neural network controllers. Learning higher order abstractions from bit blasted Boolean networks with graph neural networks. GPUs to fuzz multiple hardware inputs faster than ever before. An open sourced, mutation testing tool for hardware designs. A testing approach that can find real bugs in Simulink code generation.