work Inductive biases in Transformers course project An exposition on quantum interactive proofs with a classical verifier Course project fun