Add AnswerAutograder and ProofAutograder prompts#7

Ashutosh0x wants to merge 1 commit intogoogle-deepmind:maingoogle-deepmind/superhuman:mainfrom

Ashutosh0x:feature/add-autograder-promptsAshutosh0x/superhuman:feature/add-autograder-promptsCopy head branch name to clipboard