wcphkust

icon indicating a website link https://chengpeng-wang.github.io/

icon company Postdoc@Purdue CS, HKUST Alumnus icon location West Lafayette icon location Static analysis, program language theory

Results 2 issues of wcphkust

Capture error when building Java projects

3 comment

Hello, I tried to analyze Glowstone with Infer. I used `mvn compile` to build Glowstone successfully. However, when I used the command `infer-capture -- mvn compile` to capture the project...

Issue on default temperature settings

1 comment

Hi, I am using LMFlow to invoke the model codellama/CodeLlama-7b-Instruct-hf. However, I found that the output was very repetitive. It seems that the default temperature setting is current set to...