• 2024-09-07LEAN 类型理论之注解(Annotations of LEAN Type Theory)—— 归纳类型(Inductive Type)浅析
        归纳类型(InductiveType)的核心是,该类型是基于归纳原则(Inductiveprinciple,basecase&inductivestep)来定义的。简单来说,在定义归纳类型时,会使用其归纳类型自身。如下图的类型等式(TypeEquation),K是其定义体(ThebodyofDefinition),调用其类型自身:        
  • 2023-01-09转导推理_归纳推理_转导学习_归纳学习
    转导推理_归纳推理【Def:传统推理方法:归纳推理】直到今天,传统的推理方法仍然是归纳-演绎法,人们首先用已有信息定义一个一般规则,然后用这个规则来推断所需要的答案(首先从特殊
  • 2022-12-02什么是归纳偏置/Inductive Bias?
    什么是归纳偏置呢?归纳是指从一些例子中寻找共性、泛化,形成一个较为通用的规则的过程。偏好/偏置是指对模型的偏好。通俗理解,归纳偏置是从现实生活中观察到的现象中归纳出
  • 2022-11-18从机器学习到图神经网络,inductive和transductive的区别
    目录机器学习归纳式学习(inductivelearning)转导式学习(transductivelearning)图表示学习归纳式学习(inductivelearning)节点表示图表示转导式学习(transductivelearning)节点
  • 2022-10-16归纳偏置(Inductive Bias)
    在transformer利用到计算机视觉领域中后,相关文章中反复强调Inductivebias.本文仅是自己的理解记录。如有错误,还请指正。在机器学习中,很多学习算法经常会对学习的问题做一些
  • 2022-10-05归纳学习(Inductive Learning),直推学习(Transductive Learning),困难负样本(Hard Negative)
    归纳学习(InductiveLearning):顾名思义,就是从已有训练数据中归纳出模式来,应用于新的测试数据和任务。我们常用的机器学习模式就是归纳学习。直推学习(TransductiveLear