Zulip Chat Archive

Stream: general

Topic: Discussion: mathematical AI seminar at the Fields Institute

Junyan Xu (Oct 19 2025 at 09:32):

Looks like registration isn't ready yet:
image.png

Notification Bot (Oct 19 2025 at 13:25):

A message was moved here from #announce > mathematical AI seminar at the Fields Institute by Floris van Doorn.

Bas Spitters (Oct 19 2025 at 19:32):

Here's the ProofBridge paper: https://openreview.net/forum?id=U2jxHXuOX9

Bas Spitters (Oct 20 2025 at 12:38):

@Cruise Song Is the proofbridge tool available?

Cruise Song (Oct 20 2025 at 17:51):

@Bas Spitters Thanks for asking! We have plans to open-source our code and models soon.

Last updated: Dec 20 2025 at 21:32 UTC