Takeaways from the NeurIPS 2023 Trojan Detection Competition — LessWrong