2 citations · 4 across the 12 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.AI2026
FaithSieve: Fine-Grained Evaluation of Math Proofs with Faithful Formal Evidence
Ziyu Wang, Qiming Dai, Yishan Wu +1
Large language models can now generate complex, multi-step mathematical proofs, but reliably determining their correctness and localizing early logical errors remains a critical ch…
cs.LG2026
Time-Uniform Self-Normalized Concentration for Discounted Least Squares: Limits and Corrections
Yi-Shan Wu
Self-normalized concentration inequalities are standard tools in bandit and reinforcement-learning analyses. A widely used weighted extension claims an analogous time-uniform guara…
cs.CV2026
OmniMech: All-in-one Multimodal Mechanical Benchmark for 3D Reconstruction
Taiting Lu, Runze Liu, Ziwei Dong +18
Recent vision-language models (VLMs) can generate executable CAD programs from images, but existing methods mainly target coarse, general-purpose 3D objects and rarely address the…