Login / Signup
Proof of Directed Guiding Gradients: A New Proof of Learning Consensus Mechanism with Constant-time Verification.
Yongqi Wu
Sungmin Choi
Guining Liu
Xingjun Wang
Published in:
ICBC (2023)
Keyphrases
</>
learning process
learning algorithm
reinforcement learning
machine learning
learning systems
learning problems
learning mechanism
formal proof
neural network
clustering algorithm
bayesian networks
multi agent
multi agent systems
knowledge representation
petri net
formal methods