Workshop
Öppet för anmälan

Resonerande AI inom formell matematik

Arrangerad av Chairs forskningstema "Stora språkmodeller för matematik och programmering".

Informationen finns bara på engelska. Använd knappen "English" för att byta språkversion och ta del av den fullständiga texten på engelska.

 

Översikt

Öppet för anmälan
  • Datum:Startar 28 november 2025, 11:00Slutar 28 november 2025, 16:00
  • Plats:
  • Språk:Engelska
  • Anmäl dig senast:21 november 2025