A financial technology company using machine learning to automate the execution and pricing of corporate bonds.