BriefGPT.xyz
Ask
alpha
关键词
typed lambda calculi
搜索结果 - 1
基于 Transformer 模型的简单类型 lambda 演算类型推断:代码深度学习案例研究
本文探讨了使用 transformer 模型对 typed lambda 演算进行类型推导的问题,并对优化器的选择以及 warm-up 的影响进行了实验,发现 Adafactor 比 Adam 和 RAdam 更有效。
PDF
a year ago
Prev
Next