user: I'm working on a small project in which I need to perform binary calculations. Could you help me with adding the binary numbers '10011' and '1100' together?

Available functions:
name: add_binary_numbers
description: Adds two binary numbers.
parameters: type: dict
properties: a: type: string
description: The first binary number.
b: type: string
description: The second binary number.
required: a
b

Ground truth function call(s):
add_binary_numbers(a='10011',b='1100')