Author

Wenlin Zhang

Observed name: Zhang, Wenlin

Institutions: National University of Singapore, Omega Consult (Slovenia)

Observed institutions: National University of Singapore, Omega Consult (Slovenia)

OpenAlex ID: A5140159808

A Certificate-Producing Cascade for Equational Implication: The SAIR EQT2 Stage 2 Solver

2026 · Ma, Haobo, Zhang, Wenlin, et al. · arXiv (Cornell University)

Mechanism-level routing failure in LLMs over Lean-verified algebraic structures

2026 · Cázares, Manuel Israel, Zhang, Wenlin, et al. · arXiv (Cornell University)

Works count: 2

Citation count:

H-index:

I10-index: