Algorithm Complexity Proof Assistant with R1 | FindPrompts