( en | de | ru )

 

Disambiguierung von "Kishimoto, Akihiro"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations.

, , , , , , , und . IJCAI, Seite 3221-3229. ijcai.org, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Tetsuo Kishimoto

Akihiro Hamano

Akihiro Sato

Akihiro Onagi

Mika Kishimoto-Suga

 

Weitere Publikationen von Autoren mit dem selben Namen

Subadditive Load Balancing., und . CoRR, (2019)Dynamic Decomposition Search: A Divide and Conquer Approach and its Application to the One-Eye Problem in Go., und . CIG, IEEE, (2005)Recursive Best-First AND/OR Search for Optimization in Graphical Models., und . UAI, Seite 400-409. AUAI Press, (2014)Foundation Model for Material Science., , , , und . AAAI, Seite 15376-15383. AAAI Press, (2023)Monte Carlo Go Has a Way to Go., , , , und . AAAI, Seite 1070-1075. AAAI Press, (2006)Estimating Blink Probability for Highlight Detection in Figure Skating Videos., , und . CoRR, (2020)Designing Machine Learning Pipeline Toolkit for AutoML Surrogate Modeling Optimization., , , , und . CoRR, (2021)GT4SD: Generative Toolkit for Scientific Discovery., , , , , , , , , und 14 andere Autor(en). CoRR, (2022)About the Completeness of Depth-First Proof-Number Search., und . Computers and Games, Volume 5131 von Lecture Notes in Computer Science, Seite 146-156. Springer, (2008)Accelerated UCT and Its Application to Two-Player Games., , , und . ACG, Volume 7168 von Lecture Notes in Computer Science, Seite 1-12. Springer, (2011)