Tag AI-proof assignments