Author

Seongmin Lee

Observed name: Lee, Seongmin

Institution: University of California, Los Angeles

Observed institution: University of California, Los Angeles

OpenAlex ID: A5140515566

Agentic Proof and Property-Based Testing via Property-Templates in Data-Intensive Computing

2026 · Lee, Seongmin, Wu, Yaoxuan, et al. · arXiv (Cornell University) · 1

Works count: 1

Citation count: 1

H-index: 1

I10-index: