Zobrazeno 1 - 10
of 35 384
pro vyhledávání: '"improver"'
Large language models (LLMs) have been used to generate formal proofs of mathematical theorems in proofs assistants such as Lean. However, we often want to optimize a formal proof with respect to various criteria, depending on its downstream use. For
Externí odkaz:
http://arxiv.org/abs/2410.04753
Publikováno v:
Rasayan Journal of Chemistry. Jul-Sep2024, Vol. 17 Issue 3, p1134-1140. 7p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Liu, Kechen1,2 (AUTHOR), Slaný, Michal3,4 (AUTHOR) michal.slany@savba.sk, Golian-Struhárová, Alena5 (AUTHOR), Wang, Hailong6 (AUTHOR), Zhang, Liyuan6 (AUTHOR), Fu, Jiyou7 (AUTHOR), Chen, Gang1,2 (AUTHOR), Du, Yingna1,2 (AUTHOR) michal.slany@savba.sk
Publikováno v:
Minerals (2075-163X). Jul2024, Vol. 14 Issue 7, p696. 16p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.