Developing AI algorithms with strict guarantees

AI models demonstrates impressive performance in many tasks. In particular, in tasks that considers approximate or fairly accurate predictions are considered good enough. However, in the area of physical science, Certain quantities must be strictly obeyed. For example, conservation of energy, momentum, mass and flux. Currently, no AI models can obey these strict rules. This project aims to develop AI models that obey strict guarantees.