Ying Wu

From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier

Eric Jiang, Xiao Liang, Yikai Zhang, Yingjia Wan et autres

Recent developments in AI for Mathematics (AI4Math), especially Large Language Model (LLM)-driven theorem provers, has achieved remarkable success in formal proof generation for well-defined mathematical problems through Interactive Theorem Proving (ITP) languages. However, current systems remain fundamentally limited in tackling frontier research …

From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier

Eric Jiang, Xiao Liang, Yikai Zhang, Yingjia Wan et autres

Recent developments in AI for Mathematics (AI4Math), especially Large Language Model (LLM)-driven theorem provers, has achieved remarkable success in formal proof generation for well-defined mathematical problems through Interactive Theorem Proving (ITP) languages. However, current systems remain fundamentally limited in tackling frontier research …

us (code pays fourni par la source)

An efficient lightweight network for silk fabric defect detection

Yi-Xiang Wang, Peiyao Guo, Yanping Liu, Panpan Zhao et autres

To address the challenges of balancing detection accuracy and computational efficiency in silk fabric defect detection, this paper proposes a lightweight model GSS-YOLOv8, designed to reduce parameter complexity while enabling real-time detection capabilities. A three-stage optimization strategy is adopted to target key …

cn (code pays fourni par la source)

CoPrimeEEG: CRT-Guided Dual-Branch Reconstruction from Co-Prime Sub-Nyquist EEG

Yang Yu, Dong Liu, Ying Wu

We present CoPrimeEEG, a neural reconstruction framework that unifies co-prime sub-Nyquist sampling theory with a CRT-guided learning objective for EEG. Two low-rate streams obtained by co-prime decimations feed a dual-branch convolutional encoder whose fused representation is upsampled to reconstruct high-rate EEG while …

us (code pays fourni par la source)

Global disparities in 3D urban morphology shaped by building height and distributions

Yangzi Che, Xuecao Li, Ying Wu, Yucong Sun et autres

cn (code pays fourni par la source)

Dynamic Generation of Multi LLM Agents Communication Topologies with Graph Diffusion Models

Eric Hanchen Jiang, Mengting Li, Xinfeng Li, Yizhou Sun et autres

Eric Hanchen Jiang, Levina Li, Frank Wan, Xiao Liang, Sophia Yin, Yuchen Wu, Xinfeng Li, Yizhou Sun, Wei Wang, Kai-Wei Chang, Ying Nian Wu. Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). 2026.

Gold-Medal-Level Olympiad Geometry Solving with Efficient Heuristic Auxiliary Constructions

Xiao Rong Liang, Shuai Lü, Yaoxiang Wang, Yelong Shen et autres

Boyan Duan, Xiao Liang, Shuai Lu, Yaoxiang Wang, Yelong Shen, Kai-Wei Chang, Ying Nian Wu, Mao Yang, Weizhu Chen, Yeyun Gong. Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). 2026.

ch, us, gb (code pays fourni par la source)

Mitigating Over-Refusal in Aligned Large Language Models via Inference-Time Activation Energy

Eric Hanchen Jiang, Weixuan Ou, Run Liu, Shaoning Pang et autres

Eric Hanchen Jiang, Weixuan Ou, Run Liu, Shengyuan Pang, Guancheng Wan, Ranjie Duan, Wei Dong, Kai-Wei Chang, XiaoFeng Wang, Ying Nian Wu, Xinfeng Li. Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). 2026.

us, cn (code pays fourni par la source)

Innovative motivation as a pathway from evidence-based nursing competence and nurse-physician collaboration to knowledge sharing behavior among surgical nurses : A structural equation modeling study based on the COM-B model

Ya-Nan Leng, Meixian Li, Xiaodi Zhang, Haiwei Fu et autres

Background: With the development of evidence-based medicine, a large amount of high-quality evidence is constantly generated, but surgical nurses are still weak in terms of the knowledge sharing behavior. Organizational and individual factors will determine how surgical nurses share knowledge. However, few …

cn (code pays fourni par la source)

A Human-centric Framework for Debating the Ethics of AI Consciousness Under Uncertainty

Zhou Ziheng, Haiqiang Dai, Bin Ling, Ying Wu et autres

As AI systems become increasingly sophisticated, questions about machine consciousness and its ethical implications have moved from fringe speculation to mainstream academic debate. Current ethical frameworks in this domain often implicitly rely on contested functionalist assumptions, prioritize speculative AI welfare over concrete …

Machine learning for adsorption-related parameters prediction of electronic specialty gases: DFT-based dataset construction and balanced data augmentation

Zhikang Wu, Ying Wu, Guang Miao, Runze Chen et autres

cn, jp (code pays fourni par la source)

Structural innovation design and mechanical performance of double-deck large-span steel truss arch bridges

Ying Wu, Jin Tao, Wenpeng Wu, Pengzhen Lu

This article presents a comprehensive study on the structural design and mechanical performance of an innovative double-deck long-span steel truss arch bridge, exemplified by the Qingshuitang Bridge in Zhuzhou, China. The main bridge features a three-span continuous structural arrangement (100 + 408 …

cn (code pays fourni par la source)