A gathering of Barbalat's lemmas and their (unsung) cousins.

Published in: CoRR (2023)

Keyphrases

theorem proving
theorem prover
information gathering
machine learning
probability distribution
gathering information