Author

Yi-Shan Wu

h-index 5 View on Semantic Scholar

We have 3 of 22 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

Time-Uniform Self-Normalized Concentration for Discounted Least Squares: Limits and Corrections

It is shown that, when $\delta\leq1/2$ and $T/\delta$ is sufficiently large, any deterministic anytime boundary valid uniformly over the stated conditionally sub-Gaussian model class must be at least of order at some time by horizon $T$; for nondecreasing boundaries, this order is required at time $T$.

Yi-Shan Wu · 0 citations

Preprint Aug 2026

OmniMech: All-in-one Multimodal Mechanical Benchmark for 3D Reconstruction

OmniMech is introduced, the first million-scale benchmark for evaluating VLMs on executable CAD generation from industrial manufacturing data, and experiments show that current VLMs and CAD-specialized models still struggle with executable program synthesis, fine-grained 3D reconstruction, and reliable enforcement of d...

Tai-Ting Lu, Run-Ze Liu, Zi-Wei Dong et al. · 0 citations

Preprint Aug 2026

FaithSieve: Fine-Grained Evaluation of Math Proofs with Faithful Formal Evidence

FaithSieve is introduced, a Lean-assisted framework for fine-grained evaluation of natural-language mathematical proofs that demonstrates that decomposing proofs into fine-grained units and grounding them with faithful formal evidence significantly improves reliable evaluation of natural-language reasoning.

Zi-Yu Wang, Qi-Yu Dai, Yi-Shan Wu et al. · 0 citations