Rodrigo Stehling

Identifiers

• name variant Rodrigo Stehling 0.60 · backfill

Papers (1)

1. Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search cs.LO · 2026 · author #3

Mentions

• 2605.20244 #3 · arxiv_oai · confidence 0.70 Rodrigo Stehling

Frequent Coauthors

• Jialin Lu 1 shared papers
• Kaiyu Yang 1 shared papers
• Soonho Kong 1 shared papers
• Weiran Sun 1 shared papers
• Wuyang Chen 1 shared papers
• Zhangyang Wang 1 shared papers