Zobrazeno 1 - 10
of 12 113
pro vyhledávání: '"Sun, Xin"'
Accurately digitizing physical objects is central to many applications, including virtual/augmented reality, industrial design, and e-commerce. Prior research has demonstrated efficient and faithful reconstruction of objects' geometric shapes and vis
Externí odkaz:
http://arxiv.org/abs/2406.17156
Probabilistic Hoare logic (PHL) is an extension of Hoare logic and is specifically useful in verifying randomized programs. It allows researchers to formally reason about the behavior of programs with stochastic elements, ensuring the desired probabi
Externí odkaz:
http://arxiv.org/abs/2406.16054
Autor:
Xie, Desai, Bi, Sai, Shu, Zhixin, Zhang, Kai, Xu, Zexiang, Zhou, Yi, Pirk, Sören, Kaufman, Arie, Sun, Xin, Tan, Hao
We present LRM-Zero, a Large Reconstruction Model (LRM) trained entirely on synthesized 3D data, achieving high-quality sparse-view 3D reconstruction. The core of LRM-Zero is our procedural 3D dataset, Zeroverse, which is automatically synthesized fr
Externí odkaz:
http://arxiv.org/abs/2406.09371
Autor:
Tao, Shengyu, Zhang, Mengtian, Zhao, Zixi, Li, Haoyang, Ma, Ruifei, Che, Yunhong, Sun, Xin, Su, Lin, Chen, Xiangyu, Zhou, Zihao, Chang, Heng, Cao, Tingwei, Xiao, Xiao, Liu, Yaojun, Yu, Wenjun, Xu, Zhongling, Li, Yang, Hao, Han, Zhang, Xuan, Hu, Xiaosong, ZHou, Guangmin
Manufacturing complexities and uncertainties have impeded the transition from material prototypes to commercial batteries, making prototype verification critical to quality assessment. A fundamental challenge involves deciphering intertwined chemical
Externí odkaz:
http://arxiv.org/abs/2406.00276
Quantum Hoare logic (QHL) is a formal verification tool specifically designed to ensure the correctness of quantum programs. There has been an ongoing challenge to achieve a relatively complete satisfaction-based QHL with while-loop since its incepti
Externí odkaz:
http://arxiv.org/abs/2405.01940
Autor:
Sun, Xin, Ma, Rongjun, Zhao, Xiaochang, Li, Zhuying, Lindqvist, Janne, Ali, Abdallah El, Bosch, Jos A.
People increasingly rely on online sources for health information seeking due to their convenience and timeliness, traditionally using search engines like Google as the primary search agent. Recently, the emergence of generative Artificial Intelligen
Externí odkaz:
http://arxiv.org/abs/2403.09987
Regular physical activity is crucial for reducing the risk of non-communicable disease (NCD). With NCDs on the rise globally, there is an urgent need for effective health interventions, with chatbots emerging as a viable and cost-effective option bec
Externí odkaz:
http://arxiv.org/abs/2403.00365
Autor:
Wang, Xiaosong, Zhang, Xiaofan, Wang, Guotai, He, Junjun, Li, Zhongyu, Zhu, Wentao, Guo, Yi, Dou, Qi, Li, Xiaoxiao, Wang, Dequan, Hong, Liang, Lao, Qicheng, Ruan, Tong, Zhou, Yukun, Li, Yixue, Zhao, Jie, Li, Kang, Sun, Xin, Zhu, Lifeng, Zhang, Shaoting
The emerging trend of advancing generalist artificial intelligence, such as GPTv4 and Gemini, has reshaped the landscape of research (academia and industry) in machine learning and many other research areas. However, domain-specific applications of s
Externí odkaz:
http://arxiv.org/abs/2402.18028
The conformal loop ensemble (CLE) has two phases: for $\kappa \in (8/3, 4]$, the loops are simple and do not touch each other or the boundary; for $\kappa \in (4,8)$, the loops are non-simple and may touch each other and the boundary. We derive the p
Externí odkaz:
http://arxiv.org/abs/2401.15904
Autor:
Xie, Desai, Li, Jiahao, Tan, Hao, Sun, Xin, Shu, Zhixin, Zhou, Yi, Bi, Sai, Pirk, Sören, Kaufman, Arie E.
Multi-view diffusion models, obtained by applying Supervised Finetuning (SFT) to text-to-image diffusion models, have driven recent breakthroughs in text-to-3D research. However, due to the limited size and quality of existing 3D datasets, they still
Externí odkaz:
http://arxiv.org/abs/2312.13980