Zobrazeno 1 - 10
of 68
pro vyhledávání: '"Wu, Minchao"'
Loop-invariant synthesis is the basis of program verification. Due to the undecidability of the problem in general, a tool for invariant synthesis necessarily uses heuristics. Despite the common belief that the design of heuristics is vital for the p
Externí odkaz:
http://arxiv.org/abs/2107.09766
We propose a novel approach to interactive theorem-proving (ITP) using deep reinforcement learning. The proposed framework is able to learn proof search strategies as well as tactic and arguments prediction in an end-to-end manner. We formulate the p
Externí odkaz:
http://arxiv.org/abs/2102.09756
Autor:
Lewis, Robert Y., Wu, Minchao
We implement a user-extensible ad hoc connection between the Lean proof assistant and the computer algebra system Mathematica. By reflecting the syntax of each system in the other and providing a flexible interface for extending translation, our conn
Externí odkaz:
http://arxiv.org/abs/2101.07758
Publikováno v:
In Agricultural and Forest Meteorology 15 July 2022 322
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.
Autor:
Loon, Anne F. Van, Kchouk, Sarra, Matanó, Alessia, Tootoonchi, Faranak, Alvarez-Garreton, Camila, Hassaballah, Khalid E. A., Wu, Minchao, Wens, Marthe L. K., Shyrokaya, Anastasiya, Ridolfi, Elena, Biella, Riccardo, Nagavciuc, Viorica, Barendrecht, Marlies H., Bastos, Ana, Cavalcante, Louise, Vries, Franciska T. de, Garcia, Margaret, Mård, Johanna, Streefkerk, Ileen N., Teutschbein, Claudia
Publikováno v:
EGUsphere; 2/20/2024, p1-78, 78p
Publikováno v:
Landscape Ecology; Dec2023, Vol. 38 Issue 12, p3945-3960, 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.