The naming hall is good.
1. Library generally refers to public places, such as libraries, museums, art galleries, etc., while pavilions generally refer to floors in buildings, such as pavilions, pavilions, etc. The former is more appropriate.
2. The word "guan" has a profound connotation in Chinese culture, while the word "ge" appears in relatively few cultural works.