用声明式语言描述大模型架构
IrPt-baiyi/by1: 用声明式语法描述大模型架构,并由机器验证描述是否正确 · A declarative language for describing LLM architectures, with machine verification