Zhang Zihao comments

Repositories
Issues
Comments

Results 6 comments of


                                            Zhang Zihao

Dataset

@nimasteryang do you still have the preprocessed dataset?the preprocessing is too complex for me

Dataset Issues: See: epicosy/devign Unable to reproduce the paper results!

@NikolasBielski hi,friend,do you have the preprocessed dataset?

Lean4Example error: build failed and Fail to use "suggest_tactics"

We meet the same error,and I still don't solve it.

Lean4Example error: build failed and Fail to use "suggest_tactics"

@6AlexMan Have you solved it?It is really annoying. :-(

uncaught exception error

Solved.Just add `supportInterpreter := true` to the next line of ``` [[lean_exe]] name = "declaration_types" root = "scripts.declaration_types" ``` in lakefile.toml.

扫描版PDF无法设置背景颜色

你们太强了！