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
Ruichao Yang · Wei Gao · Xiaobin Zhu · Jing Ma · Hongzhan Lin · Ziyang Luo · Bo-Wen Zhang · Xu-Cheng Yin
Chuyi Kong · Wei Gao · Jing Ma · Hongzhan Lin · Yuxi Sun
The prevalence of fake news on social media calls for automated fact-checking systems that deliver not only accurate verdicts but also faithful explanations. However, existing large language model (LLM)-based methods often overlook deceptive misinformation styles in generated explanations, produc...
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...