Graded Rings in Lean's Dependent Type Theory.

Eric Wieser Jujian Zhang

Published in: CICM (2022)

Keyphrases

theoretical framework
information theory
neural network
expert systems
database
machine learning
artificial intelligence
decision trees
theoretical basis
general theory