There are many common points in the mathematical background of both artificial intelligence and quantum computing, e.g., the functional analysis techniques. Although my field of research is quantum cryptography, I am open to any collaboration with people working in artificial intelligence concerning the above-mentioned common mathematical background (to implement in Isabelle/HOL). In particular, I like Pierre-Louis Lions' approach: Une vision mathématique du "Deep Learning"

Last updated: Dec 07 2023 at 12:30 UTC