Proof assistants; Coq; Lemma names; Neural networks;
机译:多上下文自动引词生成,用于具有发散检测的术语重写归纳
机译:乌尔都语命名实体识别:语料库生成和深度学习应用
机译:基于MultiScale LSTM的深度学习,用于智能城市能源管理中的非常短期光伏发电预测
机译:roostionize:建议使用深度学习的COQ验证项目的LEMMA名称
机译:自动引理生成和用于重写归纳的多上下文方案
机译:可用名称列表(LAN):用于在生态学中稳定分类学名称的新一代产品?
机译:多语境自动化物质生成,用于致病性检测的重写诱导
机译:alpha和Long-Lived beta gamma废物源术语。深层胶结废物库的第一代模型