Zobrazeno 1 - 10
of 23
pro vyhledávání: '"Hu, Changran"'
Formal theorem proving, a field at the intersection of mathematics and computer science, has seen renewed interest with advancements in large language models (LLMs). This paper introduces SubgoalXL, a novel approach that synergizes subgoal-based proo
Externí odkaz:
http://arxiv.org/abs/2408.11172
Autor:
Csaki, Zoltan, Li, Bo, Li, Jonathan, Xu, Qiantong, Pawakapan, Pian, Zhang, Leon, Du, Yun, Zhao, Hengyu, Hu, Changran, Thakker, Urmish
Despite the widespread availability of LLMs, there remains a substantial gap in their capabilities and availability across diverse languages. One approach to address these issues has been to take an existing pre-trained LLM and continue to train it o
Externí odkaz:
http://arxiv.org/abs/2404.05829
Recent studies on software tool manipulation with large language models (LLMs) mostly rely on closed model APIs. The industrial adoption of these models is substantially constrained due to the security and robustness risks in exposing information to
Externí odkaz:
http://arxiv.org/abs/2305.16504
Mining aligned natural language (NL) and programming language (PL) pairs is a critical task to NL-PL understanding. Existing methods applied specialized hand-crafted features or separately-trained models for each PL. However, they usually suffered fr
Externí odkaz:
http://arxiv.org/abs/2203.10744
We approach the important challenge of code autocompletion as an open-domain task, in which a sequence-to-sequence code generator model is enhanced with the ability to attend to reference code snippets supplied by a semantic code search engine. In th
Externí odkaz:
http://arxiv.org/abs/2104.05310
Autor:
Hu, Changran, Pan, An, Li, Tingan, Wang, Xuanhao, Liu, Yuheng, Tao, Shiqi, Zeng, Cheng, Xia, Jinsong
Lithium niobate (LN) devices have been widely used in optical communication and nonlinear optics due to its attractive optical properties. The emergence of thin-film lithium niobate on insulator (LNOI) improves performances of LN-based devices greatl
Externí odkaz:
http://arxiv.org/abs/2009.02855
In recent years, neural networks have been used to generate symbolic melodies. However, the long-term structure in the melody has posed great difficulty for designing a good model. In this paper, we present a hierarchical recurrent neural network for
Externí odkaz:
http://arxiv.org/abs/1712.05274
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.