HaigAd/formal-conjectures: OEIS A105565 Lean-verified proof v1.0.1
Moritz Firsching, Paul Lezeau, Salvatore Mercuri, Daniel Chin et autres
0 citationsZenodo (CERN European Organization for Nuclear Research)
Miklós Z. Horváth
Informations fournies par OpenAlex. Research Africa ne déduit ni nationalité, ni poste, ni coordonnées personnelles.
10Publications signalées
27Citations signalées
2Affiliations récentes
Institutions déclarées
Domaines associés
Mathematics, Computing, and Information ProcessingConstraint Satisfaction and OptimizationAdversarial Robustness in Machine LearningMachine Learning in Materials ScienceAdvanced Neural Network Applications
Publications récentes
Advancing Mathematics Research with AI-Driven Formal Proof Search
George Tsoukalas, Anton Kovsharov, Sergey Shirobokov, Anja Surina et autres
2 citationsarXiv (Cornell University)
Advancing Mathematics Research with AI-Driven Formal Proof Search
George Tsoukalas, Anton Kovsharov, Sergey Shirobokov, Anja Surina et autres
0 citationsarXiv (Cornell University)
Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics
Moritz Firsching, Paul Lezeau, Salvatore Mercuri, Miklós Z. Horváth et autres
0 citationsarXiv (Cornell University)
Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics
Moritz Firsching, Paul Lezeau, Salvatore Mercuri, Miklós Z. Horváth et autres
0 citationsarXiv (Cornell University)
Olympiad-level formal mathematical reasoning with reinforcement learning
Thomas Hubert, Laurent Sartran, Miklós Z. Horváth, Goran Žužić et autres
14 citationsNature
SynthID-Image: Image watermarking at internet scale
Sven Gowal, Rudy Bunel, Florian Stimberg, David Stutz et autres
1 citationarXiv (Cornell University)
(De-)Randomized Smoothing for Decision Stump Ensembles
Miklós Z. Horváth, Mark Niklas Müller, M. L. Fischer, Martin Vechev
2 citationsarXiv (Cornell University)
Robust and Accurate -- Compositional Architectures for Randomized Smoothing
Miklós Z. Horváth, Mark Niklas Müller, M. L. Fischer, Martin Vechev
1 citationarXiv (Cornell University)
Boosting Randomized Smoothing with Variance Reduced Classifiers
Miklós Z. Horváth, Mark Niklas Müller, Marc Fischer, Martin Vechev
7 citationsRepository for Publications and Research Data (ETH Zurich)
BNTIC News n’est pas le producteur de ces données. Métadonnées interrogées à la demande auprès de OpenAlex (CC0). Sources et limites.