[爱笔趣]ibiqu. v i p 一秒记住！
现在的GPT模型，靠着海量的语料堆砌，已经是天生的语言大师了。让LAART去跟它们比谁写诗写得好，谁翻译得溜，那是拿自己的短处去碰别人的长处。
LAART的核心优势是什麽？
是逻辑。
是永远不会说「猫是植物」，永远不会在做三段论推理时出现「A＞B，B＞C，所以A＜C」这种弱智错误的严谨性。
「用翻译数据集测逻辑，就像是考爱因斯坦背单词，根本测不出智商。」
「我需要一套专门考『逻辑推理』的卷子。」
他在ArXiv和Github上飞速检索。
很快，几个备选方案浮现在眼前。
1.SNLI(StanfordNaturalLanguageInference)：斯坦福自然语言推理数据集。给两句话，判断它们是「蕴含」丶「矛盾」还是「中立」。这是最经典的NLI任务。
2.SQuAD(StanfordQuestionAnsweringDataset)：阅读理解问答。这个稍好一点，但也侧重于信息提取。
3.CLUTRR(CompositionalLanguageUnderstandingandText-basedRelationalReasoning)：基于文本的关系推理。
徐辰的目光最终锁定了最后一个数据集CLUTRR。
……
CLUTRR这个数据集很有意思。它会给你一段像绕口令一样的故事：
「爱丽丝的妈妈是鲍勃的姐姐，鲍勃的儿子是查理。」
然后问你：「爱丽丝和查理是什麽关系？」
这不仅需要模型读懂文本，更需要在脑子里构建出一张「家谱图」，进行多次的逻辑推理，才能得出正确答案。
对于传统的Transformer模型来说，这是个噩梦。因为Transformer本质上是在算「词与词之间的相关性」，它并没有真正的逻辑推理模块。它可能会因为「妈妈」丶「姐姐」这些词出现的频率，瞎猜一个「姨妈」或者「奶奶」。
但对于装载了「逻辑几何嵌入」的LAART来说……
这简直就是送分题！
在徐辰的数学模型里，「妈妈」丶「姐姐」丶「儿子」这些关系，会被映射为向量空间里的几何变换算子。推导关系，不过就是做几次向量加法和包含运算而已。
「就选它了！」
徐辰打了个响指。
……
徐辰心情大好，转过身准备拿水杯喝口水。
然而，刚一回头，他就吓了一哆嗦，杯子里的水差点洒出来。
只见身后，方博丶薛超丶刘鑫羽三个人，不知何时已经站成了一排。三人双手抱胸，六只眼睛直勾勾丶阴森森地盯着他
空气安静得有些诡异。
「呃……」徐辰端着水杯的手僵在半空，嘴角抽搐了一下，尴尬地笑了笑，「你们……怎麽都站在这儿？这麽闲？不用学习吗？」
「学习？」
方博冷笑一声，痛心疾首地指着徐辰。
「徐神，你老实交代，你不在燕园那个独立公寓里待着，特意跑回咱们这又挤又乱的301，是不是就是为了回来装个逼？」
「啊？」徐辰一脸无辜，「我不是为了找你修开发环境吗？」
「修环境需要顺手修出一套人工智慧算法吗？！」方博悲愤地喊道，「你考虑过我们这些还在跟Bug互啄的小萌新的感受吗？」
一旁的薛超也长叹了一口气，走过来拍了拍徐辰的肩膀：
「老徐，真的，算兄弟求你了。以后这种装逼的活动，能不能去祸害别的宿舍？或者去图书馆丶去食堂都行。」
「别一直指着我们301这几个人装了，大家都是两个肩膀扛一个脑袋，你这样显得我们真的很像游戏里来凑数的NPC，很伤自尊的好不好？」
徐辰无奈地摇了摇头，忍不住笑骂道：「行了，别贫了。等我这个模型发了顶刊，请你们吃大餐，行了吧？」
「顶刊？」方博耳朵一动，瞬间变脸，一脸谄媚地凑过来接过徐辰的水杯，「哎哟，徐神大气！那我要吃西门那家日料！最贵的那种！来来来，水凉了我给您续上！」
「准了。」
「得嘞！徐神您继续忙，小的绝不打扰您修仙！」
𝙸b𝙸qu.v𝙸𝙋