LambdaNet----图推断变量类型----本地复现记录

已于 2022-05-30 10:50:24 修改
阅读量171 收藏
点赞数
分类专栏： 类型推断 文章标签： java intellij idea scala
于 2022-05-29 11:01:13 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_42427230/article/details/125028094
版权

环境：

sbt: 1.3.13 (dockerfile中提到)

scala: 2.12.10 (build.sbt, dockerfile中提到)

jdk: jdk11（特别注意，docker文件中标明，刚开始使用jdk1.8，javadriver文件一直报错）

1. 导入项目到idea中(选择scala项目)，选择合适的版本安装

2. 可以在projectStructure中检查jdk环境及依赖信息

 

 在setting---sbt中检查sbt配置(sbt1.3.13对应jdk11)

其中build.sbt中包含项目所需依赖

构建项目会自动下载，下载完成可在项目栏中检查是否安装

3. 检查项目是否部署成功，进入sbt shell中，输入compile

 

4.  运行前先对项目中的scripts/ts进行编译。 命令：tsc (前提是已经安装了dockerfile中提到的依赖，npm install typescript@3.8.2等)

5. 在sbt shell中运行 runMain lambdanet.TypeInferenceService加载模型，启动推断服务，预测

6. 在sbt shell中运行runTrained,执行对应的lambdanet.runTraindModel文件，最终在data/ts-algorithms/predictions目录下生成可读的ts-algorithms.html文件

 

 

 

 

马小雨
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
LambdaNet:图神经网络的概率类型推断
05-08
这是ICLR论文的源代码库。 有关LambdaNet工作原理的概述，请参阅。 指示 克隆此仓库后，请按照以下步骤重现我们的实验结果： 安装所有依赖项（Java，sbt，Typescript等），请参阅下面的“使用Docker”部分。 运行预训练的模型 使用或下载模型权重，解压缩文件，然后将models文件放在项目根目录下。 要以交互模式运行模型，该模式将为指定文件输出(source code position, predicted type)对： 在项目根目录下，运行sbt "runMain lambdanet.TypeInferenceService" 。 完成将模型加载到内存后，只需输入包含Typescript文件的目录路径。 请注意，当前，LambdaNet仅适用于Typescript文件，因此，如果要在Javascript文件上运行它，则需要将文件扩展名更改为.ts 。
LambdaNet5
03-18
LambdaNet5 请按照以下说明设置项目 Directory.Build.props ... < PackageProjectUrl>{CHANGE_THIS} < RepositoryUrl>{CHANGE_THIS} ... 执行 dotnet新sln dotnet新控制台-n {PROJECT_NAME} -o src / {...
lambdanet：图结构推断变量类型---docker复现记录
weixin_42427230的博客
05-08 428
使用docker 1. 安装了docker后，输入命令行 docker build -t lambdanet:v1 . && docker run --name lambdanet --memory 14g -t -i lambdanet:v1 创建lambdanet:v1容器 以后启动对应容器执行 docker run -it lambdanet:v1 /bin/bash 成功进入容器 2. 下载好模型后，将模型放在根目录下 https://drive.goog
windows上关于SBT的配置
darkWatch的博客
07-27 759
最近项目需要使用sbt来构建，学习后记录一下。 资源准备： 1.jdk配置，需要1.8以上 2.scala（安装方法自行搜索） 3.eclipse 4.sbt安装（官网http://www.scala-sbt.org/）    下载msi版本，然后安装，并配置相应的环境变量，win10好像会自动配，安装后在命令行运行sbt查看是否配置好 5.sbt在eclipse的插件，文件地址ht...
机器学习及深度学习相关资料汇总
weixin_33991418的博客
01-08 2279
Github上同学总结的机器学习和deeplearning方面的很全的资料： 原文地址：ty4z2008/Qix 《Brief History of Machine Learning》 介绍:这是一篇介绍机器学习历史的文章，介绍很全面，从感知机、神经网络、决策树、SVM、Adaboost到随机森林、Deep Learning. 《Deep Learning in Neural Networks: ...
机器学习(Machine Learning)&深度学习(Deep Learning)资料
weixin_33980459的博客
09-07 3238
机器学习(Machine Learning)&amp;深度学习(Deep Learning)资料(Chapter 1)   《Brief History of Machine Learning》 介绍:这是一篇介绍机器学习历史的文章，介绍很全面，从感知机、神经网络、决策树、SVM、Adaboost到随机森林、Deep Learning. 《Deep Learning in Ne...
机器学习，深度学习的资料和工具库大全
AITBOOK
08-28 8863
https://github.com/maismall 《Brief History of Machine Learning》 介绍:这是一篇介绍机器学习历史的文章，介绍很全面，从感知机、神经网络、决策树、SVM、Adaboost到随机森林、Deep Learning. 《Deep Learning in Neural Networks: An Overview》 介绍:这是瑞士人工
机器学习相关资料推荐 http://blog.csdn.net/jiandanjinxin/article/details/51130271
CT_1104的专栏
04-29 6012
机器学习(Machine Learning)&深度学习(Deep Learning)资料 标签： 机器学习 2016-04-12 09:16 115人阅读 评论(0) 收藏 举报 分类： 机器学习（18） 深度学习（8） 机器学习(Machine Learning)&深度学习(Deep Learning)资料機器學習、深度學習方面不錯的資料，轉載。 原作：https://githu
近200篇机器学习&深度学习资料分享
weixin_33973600的博客
06-27 243
编者按：本文收集了百来篇关于机器学习和深度学习的资料，含各种文档，视频，源码等。并且原文也会不定期的更新。望看到文章的朋友能够学到很多其它。 《Brief History of Machine Learning》 介绍:这是一篇介绍机器学习历史的文章，介绍非常全面，从感知机、神经网络、决策树、SVM、Adaboost 到随机森林、Deep Learning. 《Deep ...
LambdaNet, 在Haskell中，纯功能的人工神经网络.zip
09-18
LambdaNet, 在Haskell中，纯功能的人工神经网络 LambdaNetLambdaNet是用Haskell编写的人工神经网络库，它可以抽象网络创建。训练和使用更高阶函数。 这种方法的好处在于，它提供了一个框架，用户可以在该框架中：...
LambdaNetInferenceTool
03-04
运行下面的命令java -jar LambdaNetInferenceTool-assembly-0.1.jar与参数path to pretrained model （一个训练的模型可在 ）， path to parsingFromFile.js ，和a typescript file为您希望预测的类型。 示例： ...
InteractionCombinators:使用交互组合器的Lambda演算的两种实现
05-18
互动组合器使用交互组合器的... Cell.java InteractionNet.java LambdaNet.java Port.java Term.java Wire.java” “ cd .. \ FullParallelReduction” “ javac -cp .. Cell.java InteractionNet.java LambdaNet.java
数据结构与算法-差分数组及应用
qq_36115196的博客
06-20 489
差分数组： 其实差分数组是创建一个一个辅助数组，用来表示给定数组的变化，一般用来对数组进行区间修改的操作。
Day43
最新发布
m0_67496588的博客
06-20 515
JSON，Ajax
基于springboot的青年公寓服务平台源码数据库
s123456sj的博客
06-16 1192
本青年公寓服务平台分为管理员还有用户两个权限，管理员可以管理用户的基本信息内容，可以管理房屋投诉信息以及房屋投诉的租赁信息，能够与用户进行相互交流等操作，用户可以查看房屋信息，可以查看房屋投诉以及查看管理员回复信息等操作。
Java 中 什么是 lambda 表达式？有什么优点？
liangzai215的专栏
06-13 909
但是，Lambda 表达式绝对不是 Java 8 的银弹，它在消除代码冗余、支持并发这两方面表现优秀，但是在其他方面并未有太多贡献，所以我们在编程的时候，还是需要结合实际情况，灵活选择使用。Lambda表达式在Java 8中是非常强大的工具，但是需要注意的是，Lambda并并不适合所有情况，它主要适用于函数式编程，处理集合操作和Stream操作，在某些具体的业务逻辑操作中就不一定会产生预期的效果。代码块：是 Lambda 表达式需要执行的功能，可以是一行代码，也可以是复杂的多行代码。
【仿真建模-anylogic】FlowchartPort原理解析
zhaoyaxuan001的博客
06-14 411
FlowchartPort是流图组件端口的基类，一般不会直接使用；如果需要自行封装组件库时会用到；FlowchartPort继承Port类，并定义了一系列抽象函数；用于输入端口判定此刻是否不能接收Agent。用于输出端口判定是否有Agent准备离开。判定端口是否发生错误。
JVM 相关知识整理
杨杨杨~~的博客
06-20 527
如果您觉得有用的话，记得给，写作不易啊^ _ ^。而且听说，实在白嫖的话，那欢迎常来啊!!!
在阿里云服务器Linux系统上从头到尾实现Webapp的部署(安装卸载JDK、安装Tomcat、安装配置MySQL)
2401_85124218的博客
06-20 293
我可以将最近整理的前端面试题分享出来，其中包含HTML、CSS、JavaScript、服务端与网络、Vue、浏览器、数据结构与算法等等，还在持续整理更新中，希望大家都能找到心仪的工作。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值