Djupinlärningsmodeller för matematik och typteori

Workshop 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.