Robert Zhang
Identifiers
No identifiers captured yet.
Papers (3)
- Optimal Predicate Pushdown Synthesis cs.PL · 2026 · author #1
- Terminal-Bench: Benchmarking Agents on Hard, Realistic Tasks in Command Line Interfaces cs.SE · 2026 · author #23
- A Fog Robotic System for Dynamic Visual Servoing cs.RO · 2018 · author #4
Mentions
No mention provenance yet.
Frequent Coauthors
- Ahson Saiyed 1 shared papers
- Akshay Anand 1 shared papers
- Alexander G. Shaw 1 shared papers
- Alex Dimakis 1 shared papers
- Andrew Lanpouthakoun 1 shared papers
- Andy Konwinski 1 shared papers
- Anurag Kashyap 1 shared papers
- Arinbj\"orn Kolbeinsson 1 shared papers
- Bardia Koopah 1 shared papers
- Bill Huang 1 shared papers
- Boxuan Li 1 shared papers
- Changran Hu 1 shared papers
- Changzhi Zhou 1 shared papers
- Christopher Michael Rytting 1 shared papers
- Dariush Wahdany 1 shared papers
- David Heineman 1 shared papers
- Di Lu 1 shared papers
- Dixin Tang 1 shared papers
- E. Kelly Buchanan 1 shared papers
- Eric Hayden Campbell 1 shared papers