Yes to both 🙂 I think Lean is very important, especially in the future. For now, natural language reasoning helps us explore more domains.

→ View original post on X — @lmthang