Author

Weiran Sun

Observed name: Sun, Weiran

Institutions: Amazon (United States), Simon Fraser University

Observed institutions: Amazon (United States), Simon Fraser University

OpenAlex ID: A5136677551

Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search

2026 · Lu, Jialin, Kong, Soonho, et al. · arXiv (Cornell University) · 5

Lean Finder V2: Semantic Search for Mathlib That Disambiguates User Queries

2026 · Lu, Jialin, Liu, Xiaoyu, et al. · arXiv (Cornell University)

Works count: 2

Citation count: 5

H-index: 1

I10-index: