Euterpe

Overleaf快速入门 1. Web界面Overleaf，http://www.overleaf.com/ 2. 功能要点 协作编辑Latex，编译Latex 保存在线特定版本，保存离线版本 被编辑链接的共享 3. 一般步骤 登录Overleaf 左半部分为编辑区，有半部分为编译区（预览区）。编辑latex，编译（可以自动编译或手动编译） 在需要时候保存在线版本，在上面的History & Reivisions，版本命名为_，如，180115_1701_Jifeng或180115_1701_Jifeng_before-submission 4. 注意事项 适当的作离线版本保存，Project -> Download As Zip 参考文献的bibtex，建议使用DBLP或Google Scholar。 如有大段文字需要离线编写时，注意告知其他合作者。 通常在Latex文件开头，会配有下面文字，其中Yiqixie链接是用来辅助Latex编写，存储备忘和其它中间内容。1234% Link of <MSR 2018>% <http://2018.ms ...

Ref: [APA]Fan, Z., Gao, X., Mirchev, M., Roychoudhury, A., & Tan, S. H. (2022). Automated Repair of Programs from Large Language Models. ICSE.[GB/T 7714]Fan Z, Gao X, Mirchev M, et al. Automated Repair of Programs from Large Language Models[C]. ICSE, 2022. Abstract: Large language models such as Codex, have shown the capability to produce code for many programming tasks. However, the success rate of existing models is low, especially for complex programming tasks. One of the reasons is ...

写在前面 本文旨在为对优化算法有兴趣的学弟学妹们提供一个了解相关问题和求解方法的参考，由于本人水平有限，有些描述可能不太准确，欢迎通过邮箱联系我更正 1. P and NP关于P与NP问题的定义, 具体可以参考课程《可计算性与计算复杂性》关于确定性图灵机与多项式时间的描述 决策问题(Decision Problem): 一个输出为”是 / 否”(True or False)的可计算问题P(Polynomial time) problem: 在多项式时间内可以求解的问题NP(Nondeterministic Polynomial time) problem: 在多项式时间内，可以验证该问题的一个解是否为可行解NP-completeness: 对所有的NP问题, 均可以通过多项式时间算法规约为NP问题B, 则称NP问题B是NP-完全的(NP-complete)[亦可翻译为NP-完备的]NP-completeness: 对任意NP-完全问题A, 若A可以通过一个多项式时间算法规约为NP问题B, 则称NP问题B是NP-完全的(NP-complete)NP-hard problem: 对任 ...

Ref: Yasunaga M, Liang P. Break-it-fix-it: Unsupervised learning for program repair[C]//International Conference on Machine Learning. PMLR, 2021: 11941-11952. Code and data are available at https://github.com/michiyasunaga/bifi. Experiments are available at https://worksheets.codalab.org/worksheets/0xfddb2ef01a9f4dc0b5d974a5a97174be. Abstract:We consider repair tasks: given a critic (e.g., compiler) that assesses the quality of an input, the goal is to train a fixer that converts a bad example ...

Welcome to Euterpe - an Avalon       —— Xiaofan Liu 的私人博客 零碎地记录些许生活的琐屑 (也许) 系统地记录科研经历与见解 (但愿) 某些心思感想的小窝 (Avalon) 站名 Euterpe 源自高中某个寒假循环的 「エウテルペ」 Footer: Avalon 源自高一看的某部番剧 - 「Fate/stay night」 「あなたがいた森」 无意识抑或本能地徘徊在时间轴中离散的点里                     驻于霎那        葬于过往         &emsp ...