EvolProver: Advancing Automated theorem proving by Evolving Formalized Problems via Symmetry and Difficulty
Yuchen Tian · Ruiyuan Huang · Xuanwu WANG · Jing Ma · Zengfeng Huang · Ziyang Luo · Hongzhan Lin · Da Zheng · Lun Du
首次获取该候选人的完整档案及 StartLux 评估共 20 积分;每位用户单独解锁,之后查看免费。主动刷新 20 积分。
实时查找电子邮箱,费用不超过20积分;未找到邮箱不扣费。
Yuchen Tian · Ruiyuan Huang · Xuanwu WANG · Jing Ma · Zengfeng Huang · Ziyang Luo · Hongzhan Lin · Da Zheng · Lun Du
Yan Yang · Dongxu Li · Yutong Dai · Yuhao Yang · Ziyang Luo · Zirui Zhao · Zhiyuan Hu · Junzhe Huang · Amrita Saha · Zeyuan Chen · Ran Xu · Liyuan Pan · Caiming Xiong · Junnan Li
Ruichao Yang · Wei Gao · Xiaobin Zhu · Jing Ma · Hongzhan Lin · Ziyang Luo · Bo-Wen Zhang · Xu-Cheng Yin
Ruichao Yang · Yufan Bian · Wei Gao · Bo-Wen Zhang · Jing Ma · Hongzhan Lin · Ziyang Luo · Xiaobin Zhu · Xu-Cheng Yin
Current multimodal fake news detectors predominantly function as opaque classifiers, offering limited deductive transparency and little insight into how conflicting evidence is reconciled. To address this limitation, we propose Dialectical Structured Reasoning (DSR), a framework modeling fake new...
Shidong Cao · Hongzhan Lin · Yuxuan Gu · Ziyang Luo · Jing Ma
Chain-of-Thought (CoT) reasoning improves multi-step mathematical problem solving in large language models but remains vulnerable to exposure bias and error accumulation, as early mistakes propagate irreversibly through autoregressive decoding. In this work, we propose DiffCoT, a diffusion-styled...
Jinghao Luo · Yuchen Tian · Chuxue Cao · Ziyang Luo · Hongzhan Lin · Kaixin Li · Chuyi Kong · Ruichao Yang · Jing Ma
Large Language Model (LLM)-based agents have fundamentally reshaped artificial intelligence by integrating external tools and planning capabilities. While memory mechanisms have emerged as the architectural cornerstone of these systems, current research remains fragmented, oscillating between ope...