Author

Rodrigo Stehling

Observed name: Stehling, Rodrigo

Institutions: Amazon (United States), Simon Fraser University

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

OpenAlex ID: A5136654947

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

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

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: 4

H-index: 1

I10-index: