AI on Lean workshop names

Stream: Machine Learning for Theorem Proving

[Johan Commelin]

Slightly off-topic, but I asked an AI for good Lean workshop names, and it came up with a whole bunch of names. One of them, I thought was pretty good:

Lean Cuisine: A Taste of Theorem Proving