Zulip Chat Archive
Stream: Machine Learning for Theorem Proving
Topic: Crossposting AI for formal math job ad at Mistral AI
Albert Jiang (Sep 29 2025 at 14:14):
#job postings > AI for formal math researcher at Mistral AI @ 💬
Last updated: Dec 20 2025 at 21:32 UTC