Zobrazeno 1 - 10
of 196
pro vyhledávání: '"Lin Xiaohan"'
Autor:
Lin, Xiaohan, Cao, Qingxing, Huang, Yinya, Wang, Haiming, Lu, Jianqiao, Liu, Zhengying, Song, Linqi, Liang, Xiaodan
Formal verification (FV) has witnessed growing significance with current emerging program synthesis by the evolving large language models (LLMs). However, current formal verification mainly resorts to symbolic verifiers or hand-craft rules, resulting
Externí odkaz:
http://arxiv.org/abs/2406.14408
Autor:
Lin, Xiaohan, Cao, Qingxing, Huang, Yinya, Yang, Zhicheng, Liu, Zhengying, Li, Zhenguo, Liang, Xiaodan
Humans can develop new theorems to explore broader and more complex mathematical results. While current generative language models (LMs) have achieved significant improvement in automatically proving theorems, their ability to generate new or reusabl
Externí odkaz:
http://arxiv.org/abs/2405.06677
Autor:
Huang, Yinya, Lin, Xiaohan, Liu, Zhengying, Cao, Qingxing, Xin, Huajian, Wang, Haiming, Li, Zhenguo, Song, Linqi, Liang, Xiaodan
Publikováno v:
ICLR 2024 spotlight
Recent large language models (LLMs) have witnessed significant advancement in various tasks, including mathematical reasoning and theorem proving. As these two tasks require strict and formal multi-step inference, they are appealing domains for explo
Externí odkaz:
http://arxiv.org/abs/2402.08957
Multiscale molecular modeling is widely applied in scientific research of molecular properties over large time and length scales. Two specific challenges are commonly present in multiscale modeling, provided that information between the coarse and fi
Externí odkaz:
http://arxiv.org/abs/2305.01243
Autor:
Huang, YuPeng, Zhang, Hong, Jiang, Siyuan, Yue, Dajiong, Lin, Xiaohan, Zhang, Jun, Gao, Yi Qin
Virtual screening, including molecular docking, plays an essential role in drug discovery. Many traditional and machine-learning based methods are available to fulfil the docking task. The traditional docking methods are normally extensively time-con
Externí odkaz:
http://arxiv.org/abs/2303.09916
Autor:
Sun, Xiangfei1 (AUTHOR), Lin, Xiaohan1 (AUTHOR), Zhang, Qiang2 (AUTHOR), Li, Chao1 (AUTHOR), Shu, Ping1 (AUTHOR), Gao, Xiaodong1 (AUTHOR) gao.xiaodong1@zs‐hospital.sh.cn, Shen, Kuntang1 (AUTHOR) shen.kuntang@zs‐hospital.sh.cn
Publikováno v:
Cancer Medicine. Sep2024, Vol. 13 Issue 18, p1-13. 13p.
Publikováno v:
In Environment International March 2024 185
Autor:
Chen, Xin, Liao, Boyu, Ren, Tianci, Liao, Zhipeng, Huang, Zijie, Lin, Yujuan, Zhong, Shouhao, Li, Jiaying, Wen, Shun, Li, Yingyan, Lin, Xiaohan, Du, Xingchen, Yang, Yuhui, Guo, Jiubiao, Zhu, Xiaohui, Lin, Haishu, Liu, Rui, Wang, Jingbo
Publikováno v:
In Heliyon 30 January 2024 10(2)
Autor:
Ling, Qi, Han, Yuqiu, Ma, Yue, Wang, Xiaosen, Zhu, Zheng, Wang, Jingyu, Cao, Jiaying, Lin, Xiaohan, Wang, Jun, Wang, Baohong
Publikováno v:
In Engineering December 2023 31:98-111
Publikováno v:
BMC Genomics, Vol 13, Iss 1, p 715 (2012)
Abstract Background The complete sequences of chloroplast genomes provide wealthy information regarding the evolutionary history of species. With the advance of next-generation sequencing technology, the number of completely sequenced chloroplast gen
Externí odkaz:
https://doaj.org/article/931061616c234685acd572714c1c1d34