Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Cai, Yufan"'
Autor:
Liu, Chenyan, Cai, Yufan, Lin, Yun, Huang, Yuhuan, Pei, Yunrui, Jiang, Bo, Yang, Ping, Dong, Jin Song, Mei, Hong
Recent years have seen the development of LLM-based code generation. Compared to generating code in a software project, incremental code edits are empirically observed to be more frequent. The emerging code editing approaches usually formulate the pr
Externí odkaz:
http://arxiv.org/abs/2408.01733
Autor:
Cai, Yufan, Hou, Zhe, Luan, Xiaokun, Baena, David Miguel Sanan, Lin, Yun, Sun, Jun, Dong, Jin Song
Program refinement involves correctness-preserving transformations from formal high-level specification statements into executable programs. Traditional verification tool support for program refinement is highly interactive and lacks automation. On t
Externí odkaz:
http://arxiv.org/abs/2406.18616
Autor:
Shao, Yongqi, Cai, Yufan, Tang, Haiping, Liu, Rui, Chen, Bingwei, Chen, Wenji, Yuan, Yonggui, Zhang, Zhijun, Xu, Zhi
Publikováno v:
In Journal of Affective Disorders 15 January 2025 369:559-567
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.
Publikováno v:
Advanced Engineering Materials; Oct2023, Vol. 25 Issue 19, p1-11, 11p
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:
Shao Y; Department of Psychiatry and Psychosomatics, Zhongda Hospital, School of Medicine, Jiangsu Provincial Key Laboratory of Brain Science and Medicine, Southeast University, Nanjing, 210009, China., Cai Y; Department of Psychiatry and Psychosomatics, Zhongda Hospital, School of Medicine, Jiangsu Provincial Key Laboratory of Brain Science and Medicine, Southeast University, Nanjing, 210009, China., Tang H; Department of Psychiatry and Psychosomatics, Zhongda Hospital, School of Medicine, Jiangsu Provincial Key Laboratory of Brain Science and Medicine, Southeast University, Nanjing, 210009, China., Liu R; Department of Psychiatry and Psychosomatics, Zhongda Hospital, School of Medicine, Jiangsu Provincial Key Laboratory of Brain Science and Medicine, Southeast University, Nanjing, 210009, China., Chen B; Department of Epidemiology and Biostatistics, School of Public Health, Southeast University, Nanjing, China., Chen W; Department of General Practice, School of Medicine, Zhongda Hospital, Southeast University, Nanjing, China., Yuan Y; Department of Psychiatry and Psychosomatics, Zhongda Hospital, School of Medicine, Jiangsu Provincial Key Laboratory of Brain Science and Medicine, Southeast University, Nanjing, 210009, China., Zhang Z; Department of Neurology, School of Medicine, Zhongda Hospital, Southeast University, Nanjing, China., Xu Z; Department of Psychiatry and Psychosomatics, Zhongda Hospital, School of Medicine, Jiangsu Provincial Key Laboratory of Brain Science and Medicine, Southeast University, Nanjing, 210009, China; Department of General Practice, School of Medicine, Zhongda Hospital, Southeast University, Nanjing, China. Electronic address: slowtherapy@126.com.
Publikováno v:
Journal of affective disorders [J Affect Disord] 2024 Oct 09; Vol. 369, pp. 559-567. Date of Electronic Publication: 2024 Oct 09.