liu.seSearch for publications in DiVA
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Finding Matrix Multiplication Algorithms with Classical Planning
Linköpings universitet, Institutionen för datavetenskap, Artificiell intelligens och integrerade datorsystem. Linköpings universitet, Tekniska fakulteten. (Representation, Learning and Planning Lab)ORCID-id: 0000-0002-5493-7363
Linköpings universitet, Institutionen för datavetenskap, Artificiell intelligens och integrerade datorsystem. Linköpings universitet, Tekniska fakulteten.ORCID-id: 0000-0002-5883-3107
Linköpings universitet, Institutionen för datavetenskap, Artificiell intelligens och integrerade datorsystem. Linköpings universitet, Tekniska fakulteten.ORCID-id: 0000-0001-7434-2669
Linköpings universitet, Institutionen för datavetenskap, Artificiell intelligens och integrerade datorsystem. Linköpings universitet, Tekniska fakulteten.ORCID-id: 0000-0002-2498-8020
2023 (engelsk)Inngår i: Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), 2023, s. 411-416Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

Matrix multiplication is a fundamental operation of linear algebra, with applications ranging from quantum physics to artificial intelligence. Given its importance, enormous resources have been invested in the search for faster matrix multiplication algorithms. Recently, this search has been cast as a single-player game. By learning how to play this game efficiently, the newly-introduced AlphaTensor reinforcement learning agent is able to discover many new faster algorithms. In this paper, we show that finding matrix multiplication algorithms can also be cast as a classical planning problem. Based on this observation, we introduce a challenging benchmark suite for classical planning and evaluate state-of-the-art planning techniques on it. We analyze the strengths and limitations of different planning approaches in this domain and show that we can use classical planning to find lower bounds and concrete algorithms for matrix multiplication.

sted, utgiver, år, opplag, sider
2023. s. 411-416
Emneord [en]
Classical planning, Automated planning, Artificial Intelligence, WASP
HSV kategori
Identifikatorer
URN: urn:nbn:se:liu:diva-196476OAI: oai:DiVA.org:liu-196476DiVA, id: diva2:1786248
Konferanse
33rd International Conference on Automated Planning and Scheduling (ICAPS 2023)
Forskningsfinansiär
EU, Horizon 2020, 952215Tilgjengelig fra: 2023-08-08 Laget: 2023-08-08 Sist oppdatert: 2023-08-08

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

https://ojs.aaai.org/index.php/ICAPS/article/view/27220

Person

Speck, DavidHöft, PaulGnad, DanielSeipp, Jendrik

Søk i DiVA

Av forfatter/redaktør
Speck, DavidHöft, PaulGnad, DanielSeipp, Jendrik
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric

urn-nbn
Totalt: 208 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf