Author

Yanlin Wang

h-index 0 View on Semantic Scholar

We have 2 of 2 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.

#artificial intelligence Preprint Oct 2026

Let the Library Speak: Self-Advertised Method Selection for Formal Proving

This work organizes 82 reusable methods from Putnam 2000-2014 as Method Contracts, which pair applicability descriptions with Mathlib anchors, a checked example or scaffold, and expected proof obligations, and analyzes when similarity-based representations cannot distinguish methods with different applicability, how er...

Xiao-Peng Yuan, Sui-Jin Wang, Yan-Lin Wang et al. · 0 citations

Preprint Jul 2026

Hawk: Harnessing Hardware-Aware Knowledge for High-Performance NPU Kernel Generation

Hawk is a training-free framework that harnesses hardware-aware knowledge through three core modules that elevates generation accuracy from 49.4% to 80.0%, while achieving up to a 2.2x execution speedup over state-of-the-art baselines.

Junyi Wen, Ruiyan Zhuang, Yongjia Xu et al. · 0 citations