What about Amazon’s work in formal verification research and Apple’s machine learning research?

[1] https://www.amazon.science/tag/formal-verification

[2] https://machinelearning.apple.com/research