A combinatorial proof of a sumset conjecture of Furstenberg.

Daniel Glasscock Joel Moreira Florian Karl Richter

Published in: Comb. (2023)

Keyphrases

theorem proving
theorem prover
e learning
special case
formal proof
neural network
case study
reinforcement learning
data structure
first order logic
linear logic