liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Finding Matrix Multiplication Algorithms with Classical Planning
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Integrated Computer Systems. Linköping University, Faculty of Science & Engineering. (Representation, Learning and Planning Lab)ORCID iD: 0000-0002-5493-7363
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Integrated Computer Systems. Linköping University, Faculty of Science & Engineering.ORCID iD: 0000-0002-5883-3107
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Integrated Computer Systems. Linköping University, Faculty of Science & Engineering.ORCID iD: 0000-0001-7434-2669
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Integrated Computer Systems. Linköping University, Faculty of Science & Engineering.ORCID iD: 0000-0002-2498-8020
2023 (English)In: Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), 2023, p. 411-416Conference paper, Published paper (Refereed)
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.

Place, publisher, year, edition, pages
2023. p. 411-416
Keywords [en]
Classical planning, Automated planning, Artificial Intelligence, WASP
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:liu:diva-196476OAI: oai:DiVA.org:liu-196476DiVA, id: diva2:1786248
Conference
33rd International Conference on Automated Planning and Scheduling (ICAPS 2023)
Funder
EU, Horizon 2020, 952215Available from: 2023-08-08 Created: 2023-08-08 Last updated: 2023-08-08

Open Access in DiVA

No full text in DiVA

Other links

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

Authority records

Speck, DavidHöft, PaulGnad, DanielSeipp, Jendrik

Search in DiVA

By author/editor
Speck, DavidHöft, PaulGnad, DanielSeipp, Jendrik
By organisation
Artificial Intelligence and Integrated Computer SystemsFaculty of Science & Engineering
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 49 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf