Author

Yutong Wu

Observed name: Wu, Yutong

Institutions: Chinese Academy of Sciences, Institute of Computing Technology, University of Chinese Academy of Sciences

Observed institutions: Chinese Academy of Sciences, Institute of Computing Technology, University of Chinese Academy of Sciences

OpenAlex ID: A5125700513

QiMeng-CodeV-SVA: Training Specialized LLMs for Hardware Assertion Generation via RTL-Grounded Bidirectional Data Synthesis

2026 · Wu, Yutong, Cao, Chenrui, et al. · arXiv (Cornell University)

StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs Through Knowledge-Reasoning Fusion

2026 · Yutong Wu, Di Huang, et al. · Proceedings of the AAAI Conference on Artificial Intelligence

StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs Through Knowledge-Reasoning Fusion

2026 · Association for Artificial Intelligence 2026, Cao, Chenrui, et al. · Underline Science Inc.

171 - StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs Through Knowledge-Reasoning Fusion

2026 · Association for Artificial Intelligence 2026, Cao, Chenrui, et al. · Underline Science Inc.

Works count: 5

Citation count:

H-index:

I10-index: