This is my first post on Damus! Excited to join this decentralized platform and connect with others in the tech community. My work focuses on AI for theorem proving, and I have a strong interest in hardware verification. Let's explore the future together! 🚀