Login / Signup
An Alternate Proof of Near-Optimal Light Spanners.
Greg Bodwin
Published in:
CoRR (2023)
Keyphrases
</>
neural network
theorem prover
artificial intelligence
wide range
theorem proving
automated theorem proving
mathematical proofs
data sets
data mining
learning algorithm
website
learning environment
search algorithm
mobile robot
provably near optimal