SublonK: Sublinear Prover PlonK.

Arka Rai Choudhuri Sanjam Garg Aarushi Goel Sruthi Sekar Rohit Sinha

Published in: Proc. Priv. Enhancing Technol. (2024)

Keyphrases

theorem proving
theorem prover
automated theorem proving
machine learning
proof search
genetic algorithm
knowledge representation
markov random field
higher level
space complexity