A Universal Technique for Machine-Certified Proofs of Linearizable Algorithms.

Prasad Jayanti Siddhartha Jayanti Ugur Y. Yavuz Lizzie Hernandez

Published in: CoRR (2023)

Keyphrases

times faster
computational complexity
learning algorithm
computational cost
theoretical analysis
computational efficiency
computationally expensive
real time
data sets
information systems
image processing
data structure
significant improvement
computationally efficient