Announcement_2

I will be working on the upcoming version of Boltz with the Regina Barzilay group at MIT from January to April (remotely due to a visa delay).