Bringing Near Data Processing Into the Low-Bit Floating-Point Era
Tongxin Xie · Mingyu Gao · Zehao Wang · Zhihao Jia · Yuechen Xi · Bing Li · Mo Guang · Jiale Yan · Kaiwen Long · Xingcheng Zhang · Huazhong Yang · Yuan Xie · Zhenhua Zhu · Yu Wang
首次获取该候选人的完整档案及 StartLux 评估共 20 积分;每位用户单独解锁,之后查看免费。主动刷新 20 积分。
实时查找电子邮箱,费用不超过20积分;未找到邮箱不扣费。
Tongxin Xie · Mingyu Gao · Zehao Wang · Zhihao Jia · Yuechen Xi · Bing Li · Mo Guang · Jiale Yan · Kaiwen Long · Xingcheng Zhang · Huazhong Yang · Yuan Xie · Zhenhua Zhu · Yu Wang
Xiaoyang Cao · Zelai Xu · Mo Guang · Kaiwen Long · Michiel Bakker · Yu Wang · Chao Yu
Rinyoichi Takezoe · Yaqian Li · Zi-Hao Bo · Anzhou Hou · Mo Guang · Kaiwen Long
Yixian Zhang · Shu-ang Yu · Tonghe Zhang · Mo Guang · Haojia Hui · Kaiwen Long · Yu Wang · Chao Yu · Wenbo Ding
Huining Yuan · Zelai Xu · Zheyue Tan · Xiangmin Yi · Mo Guang · Kaiwen Long · Haojia Hui · Boxun Li · Xinlei Chen · Bo Zhao · Xiao-Ping Zhang · Chao Yu · Yu Wang
Zi-Hao Bo · Yaqian Li · Anzhou Hou · Rinyoichi Takezoe · Ertao Zhao · Tianxiang Pan · Jiale Yan · Mo Guang · Kaiwen Long
Zelai Xu · Zhexuan Xu · Xiangmin Yi · Huining Yuan · Mo Guang · Kaiwen Long · Xinlei Chen · Yi Wu · Chao Yu · Yu Wang
Yanxiao Zhao · Yaqian Li · Zihao Bo · Rinyoichi Takezoe · Haojia Hui · Mo Guang · Lei Ren · Xiaolin Qin · Kaiwen Long
Large language models (LLMs) exhibit strong general reasoning, yet the community lacks controllable, scalable, and verifiable tools to analyze and improve these abilities. We present SATQuest, a verifier that generates diverse SAT-based reasoning tasks directly from Conjunctive Normal Form (CNF)...