AI labs · reinforcement learning · Lean theorem proving Deep learning · advanced technical lectures
Especially interested in companies with deep technical needs.
