Cristin-resultat-ID: 2266421
Sist endret: 4. mai 2024, 00:14
Resultat
Vitenskapelig foredrag
2024

How is AI doing with mathematical arguments

Bidragsytere:
  • Trung Tuyen Truong

Presentasjon

Navn på arrangementet: Logic seminar, UiO
Dato fra: 25. april 2024

Om resultatet

Vitenskapelig foredrag
Publiseringsår: 2024

Beskrivelse Beskrivelse

Tittel

How is AI doing with mathematical arguments

Bidragsytere

Trung Tuyen Truong

  • Tilknyttet:
    Forfatter
    ved Flere komplekse variable, logikk og operatoralgebraer ved Universitetet i Oslo
1 - 1 av 1