What We Talk About When We Talk About AI2Reason (2/n) | Notion

This is my latest understanding, newer than What We Talk About When We Talk About AI2Reason (1/n).

Goal: introduce and ask for opinions on my long-term vision of AI2Reason.

It covers:

What's AI2Reason
Why important at this moment
Why is it hard but promising now
My Next step

The HTML presentation

The PDF presentation (no mindmap)