Get started
Author

Jason Xue

Observed name: Xue, Jason
OpenAlex ID: A5136652982
Agentic Model Checking
2026 · Sun, Youcheng, Liu, Jiawen, et al. · arXiv (Cornell University) · 7
PDF
PAUSE: Search-Free Steering of Coding Agents Before Their First Source-Code Edit
2026 · Patel, Viral, Tan, Boyin, et al. · arXiv (Cornell University) · 1
PDF
Works count: 2
Citation count: 8
H-index: 1
I10-index:
Year
Topic
Type