SublonK: Sublinear Prover PlonK.

Arka Rai Choudhuri Sanjam Garg Aarushi Goel Sruthi Sekar Rohit Sinha

Published in: IACR Cryptol. ePrint Arch. (2023)

Keyphrases

theorem proving
theorem prover
automated theorem proving
general purpose
neural network
similarity measure
dynamic programming
proof search
data mining
artificial intelligence
evolutionary algorithm
optimization problems
model checking