You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named 3-[1-(2-pyrrolidin-1-ylthieno[2,3-d][1,3]thiazole-5-carbonyl)piperidin-3-yl]propanoic acid by IUPAC nomenclature, provide its molecular formula.
user
C18H23N3O3S2
assistant