Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2406.17762
Cited By
Solving Hard Mizar Problems with Instantiation and Strategy Invention
25 June 2024
Jan Jakubuv
Mikoláš Janota
Josef Urban
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Solving Hard Mizar Problems with Instantiation and Strategy Invention"
3 / 3 papers shown
Title
SMAC3: A Versatile Bayesian Optimization Package for Hyperparameter Optimization
Marius Lindauer
Katharina Eggensperger
Matthias Feurer
André Biedenkapp
Difan Deng
C. Benjamins
Tim Ruhopf
René Sass
Frank Hutter
83
323
0
20 Sep 2021
Fast and Slow Enigmas and Parental Guidance
Z. Goertzel
Karel Chvalovský
Jan Jakubuv
Miroslav Olsák
Josef Urban
40
11
0
14 Jul 2021
MizAR 40 for Mizar 40
C. Kaliszyk
Josef Urban
VLM
AI4CE
LRM
AIMat
54
131
0
10 Oct 2013
1
