Formalizing Finite Ramsey Theory in Lean 4.

David E. Narváez Cruise Song Ningxin Zhang

Published in: CICM (2024)

Keyphrases

theoretical framework
computer vision
three dimensional
bayesian networks
finite number
theoretical basis
equational theories
neural network
artificial intelligence
information systems
decision making
metadata
data structure
search algorithm
computational model
general theory