code2inv icon indicating copy to clipboard operation
code2inv copied to clipboard
verified publisher icon PL-ML

could you share the trained model of code2inv?

Open TaihuLight opened this issue 4 years ago • 0 comments

@XujieSi Dr. Si, I am working on a new method to generate loop invariants. Code2inv is inspiring to my research. So, I plan to run a compare between the new method and code2inv. Could you share the the trained model of code2inv? I would appreciate it.

TaihuLight avatar Sep 04 '21 12:09 TaihuLight