Author

Weiyi Wang

h-index 4 View on Semantic Scholar

We have 2 of 9 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Aug 2026

How Powerful are LLMs in Generating Formal Program Specifications?

Coins is introduced, a Rocq based evaluation framework that assesses specification quality by instantiating specifications under evaluation on trusted test cases and generating concrete proof obligations, and finds that accurate specification evaluation, rather than model scaling alone, is central to understanding the...

Fan-Peng Yang, Xing Li, Shu-Ling Wang et al. · 0 citations

Preprint Jul 2026

Rethinking Scientific Discovery in the Agentic Era

Applications in materials analysis, molecule design, and protein or antibody screening, together with experiments on scientific reading, idea generation, molecule generation, and antibody screening, show that SCION outperforms existing autonomous research-agent baselines, especially in decomposition, verification, refi...

Y. Zheng, Yuxin Wang, Jiahao Lu et al. · 0 citations