Kira Systems 是一款人工智能合同分析系统，可以帮助律师快速分析合同中的风险点
LawGeex 是一款人工智能法律审核系统，可以帮助律师快速审核合同和法律文件
IBM Watson 是一个认知计算平台，可以用于法律检索、法律分析和文书写作等方面
