Is the industrial guarantee company formal?

More formal.

Xingye guarantee company is a company with formal registration qualification, so it is more formal.

A guarantee company guarantees the borrower's credit. When the borrower fails to repay the loan within the time limit, the guarantee company will repay the loan as scheduled.