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: Nov 21 2024 at 08:25 UTC