Help us track papers, tools, datasets, benchmarks, talks, workshops, and efforts relevant to AI-for-theory.