Jot down some public notes here. So one day, I can claim something like: “I said so xx years ago!” 🤡 autoformalization and formally verifiable AI on potential over-constraining safe AI