Zobrazeno 1 - 10
of 845
pro vyhledávání: '"LI, ZIYANG"'
Autor:
Solko-Breslin, Alaia, Choi, Seewon, Li, Ziyang, Velingker, Neelay, Alur, Rajeev, Naik, Mayur, Wong, Eric
Many computational tasks can be naturally expressed as a composition of a DNN followed by a program written in a traditional programming language or an API call to an LLM. We call such composites "neural programs" and focus on the problem of learning
Externí odkaz:
http://arxiv.org/abs/2406.06246
Autor:
Wu, Yinjun, Keoliya, Mayank, Chen, Kan, Velingker, Neelay, Li, Ziyang, Getzen, Emily J, Long, Qi, Naik, Mayur, Parikh, Ravi B, Wong, Eric
Designing faithful yet accurate AI models is challenging, particularly in the field of individual treatment effect estimation (ITE). ITE prediction models deployed in critical settings such as healthcare should ideally be (i) accurate, and (ii) provi
Externí odkaz:
http://arxiv.org/abs/2406.00611
Software is prone to security vulnerabilities. Program analysis tools to detect them have limited effectiveness in practice. While large language models (or LLMs) have shown impressive code generation capabilities, they cannot do complex reasoning ov
Externí odkaz:
http://arxiv.org/abs/2405.17238
Security vulnerabilities in modern software are prevalent and harmful. While automated vulnerability detection tools have made promising progress, their scalability and applicability remain challenging. Recently, Large Language Models (LLMs), such as
Externí odkaz:
http://arxiv.org/abs/2311.16169
Autor:
Liu, Xunchuan, Liu, Tie, Zhu, Lei, Garay, Guido, Liu, Hong-Li, Goldsmith, Paul, Evans, Neal, Kim, Kee-Tae, Liu, Sheng-Yuan, Xu, Fengwei, Lu, Xing, Tej, Anandmayee, Mai, Xiaofeng, Bronfman, Leonardo, Li, Shanghuo, Mardones, Diego, Stutz, Amelia, Tatematsu, Ken'ichi, Wang, Ke, Zhang, Qizhou, Qin, Sheng-Li, Zhou, Jianwen, Luo, Qiuyi, Zhang, Siju, Cheng, Yu, He, Jinhua, Gu, Qilao, Li, Ziyang, Zhang, Zhenying, Zhang, Suinan, Saha, Anindya, Dewangan, Lokesh, Sanhueza, Patricio, Shen, Zhiqiang
This paper presents an overview of the QUARKS survey, which stands for `Querying Underlying mechanisms of massive star formation with ALMA-Resolved gas Kinematics and Structures'. The QUARKS survey is observing 139 massive clumps covered by 156 point
Externí odkaz:
http://arxiv.org/abs/2311.08651
Autor:
Lv, Wendi, Li, Yang, Li, Ziyang, Ma, Rongrong, Tang, Zebo, Tribedy, Prithwish, Tsang, Chun Yuen, Xu, Zhangbu, Zha, Wangmei
Publikováno v:
Chin. Phys. C 48, 044001 (2024)
Baryon numbers are carried by valence quarks in the standard QCD picture of the baryon structure, while some theory proposed an alternative baryon number carrier, a non-perturbative Y-shaped configuration of the gluon field, called the baryon junctio
Externí odkaz:
http://arxiv.org/abs/2309.06445
Pre-trained large language models (LMs) struggle to perform logical reasoning reliably despite advances in scale and compositionality. In this work, we tackle this challenge through the lens of symbolic programming. We propose DSR-LM, a Differentiabl
Externí odkaz:
http://arxiv.org/abs/2305.03742
We propose LASER, a neuro-symbolic approach to learn semantic video representations that capture rich spatial and temporal properties in video data by leveraging high-level logic specifications. In particular, we formulate the problem in terms of ali
Externí odkaz:
http://arxiv.org/abs/2304.07647
We present Scallop, a language which combines the benefits of deep learning and logical reasoning. Scallop enables users to write a wide range of neurosymbolic applications and train them in a data- and compute-efficient manner. It achieves these goa
Externí odkaz:
http://arxiv.org/abs/2304.04812
Spin alignment of vector mesons in noncentral relativistic heavy ion collisions provides a novel probe of the global quark polarization and hadronization mechanism. In this paper, we discuss the spin alignment of a short-lived vector meson, namely K*
Externí odkaz:
http://arxiv.org/abs/2208.12750