Sharp: Short Relaxed Range Proofs.

Geoffroy Couteau Dahmun Goudarzi Michael Klooß Michael Reichle

Published in: CCS (2022)

Keyphrases

machine learning
wide range
theorem proving
optimal solution
lower bound
range data
theorem prover
genetic algorithm
object recognition
image data