Hi there!
We opened our YouTube channel for United Reasoning.
At this moment we have only one video available. In this first video, we introduce smart induction for Isabelle/HOL for FMCAD2020.
In the coming months we plan to add more videos to present various approaches to improving theorem proving using artificial intelligence.
We hope that our video contents make our research projects more accessible to busy engineers and scientists.
Stay tuned!
Yutaka
United Reasoning 