liu.seSök publikationer i DiVA
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat 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 (Engelska)Ingår i: Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), 2023, s. 411-416Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
2023. s. 411-416
Nyckelord [en]
Classical planning, Automated planning, Artificial Intelligence, WASP
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN: urn:nbn:se:liu:diva-196476OAI: oai:DiVA.org:liu-196476DiVA, id: diva2:1786248
Konferens
33rd International Conference on Automated Planning and Scheduling (ICAPS 2023)
Forskningsfinansiär
EU, Horisont 2020, 952215Tillgänglig från: 2023-08-08 Skapad: 2023-08-08 Senast uppdaterad: 2023-08-08

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

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

Person

Speck, DavidHöft, PaulGnad, DanielSeipp, Jendrik

Sök vidare i DiVA

Av författaren/redaktören
Speck, DavidHöft, PaulGnad, DanielSeipp, Jendrik
Av organisationen
Artificiell intelligens och integrerade datorsystemTekniska fakulteten
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 206 träffar
RefereraExporteraLänk till posten
Permanent länk

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