LoC-Decomp: LLM Autoformalization via Logical Concept Decomposition and Iterative Feedback Correction
jiangze shi · Zhiwei Zhang · Baoquan Ma · Shuai Zhao · Ye Yuan · Guoren Wang
首次获取该候选人的完整档案及 StartLux 评估共 20 积分;每位用户单独解锁,之后查看免费。主动刷新 20 积分。
实时查找电子邮箱,费用不超过20积分;未找到邮箱不扣费。
jiangze shi · Zhiwei Zhang · Baoquan Ma · Shuai Zhao · Ye Yuan · Guoren Wang
Yuhan Guo · Lizhong Ding · Shihao Jia · Yanyu Ren · Pengqi Li · Jiarun Fu · Changsheng Li · Ye Yuan · Guoren Wang
Pengqi Li · Lizhong Ding · Zhehao Zhou · Chunhui Zhang · Jiarun Fu · Hao Li · Ye Yuan · Guoren Wang
Hallucinations arise when large language models (LLMs) guess rather than acknowledge their underlying uncertainty. Existing static strategies for mitigating hallucinations have been only partially successful, largely because they do not explicitly model the information gain from interacting with...
Guangming Qin · Yuhao Deng · Yukun Zhao · Zhenyang Li · Junfeng Wang · Dawei Yin · Ye Yuan · Guoren Wang · Yizhou Yan · Chengliang Chai · Lei Cao
The most recent research uses reinforcement learning (RL) to post-train Multi-modal Large Language Models (MLLMs) such that these models are able to iteratively call search engines to dynamically access external knowledge when handling complex Visual Question Answering (VQA) tasks. However, exist...
Ziqi Zou · Hao Zhang · Jiaxin Yao · Kangfei Zhao · Zhiwei Zhang · Sen Gao · Jingpeng Hao · Ye Yuan · Guoren Wang
Chaoyuan Shen · Chi Zhang · Chengliang Chai · Jiacheng Wang · Jia Yuan · Yuping Wang · Ye Yuan · Guoren Wang · Lei Cao
Yichun Yang · Longlong Lin · Rong-Hua Li · Meihao Liao · Guoren Wang
Qiyan Deng · Jianhui li · Chengliang Chai · Ye Yuan · Jinqi Liu · Junzhi She · Kaisen Jin · Zhaoze Sun · Yuhao Deng · Jia Yuan · Yuping Wang · Xu Zhou · Guoren Wang · Lei Cao
Zhiqiu Zou · Ziqi Yin · Rong-Hua Li · Hongchao Qin · Qiangqiang Dai · Guoren Wang
Yuhui Wang · Jinqi Liu · Chengliang Chai · Hangyu Zhao · Yuhao Deng · Yuyu Luo · Xin Tang · Ye Yuan · Guoren Wang · Fengjin Wang · Lei Cao
Donghang Cui · Rong-Hua Li · Qiangqiang Dai · Hongchao Qin · Guoren Wang
Yuming Ai · Xunkai Li · Jiaqi Chao · Bowen Fan · Zhengyu Wu · Yinlin Zhu · Rong-Hua Li · Guoren Wang