Statistics on Sanjit A. Seshia's coauthors