Jiaqi Gu

Latest

• Formal Semantics and High Performance in Declarative Machine Learning using Datalog