Kaiyu Yang

Query Ast returns Empty Result

13

Hello, I'm using SerAPI to execute Coq code and extract the AST for each Coq command. I occasionally run into the following error: the returned AST is empty. ``` (Add...

The code works perfectly two months ago but now it returns the following error when trying to launch HITs. ``` ForbiddenThis Requester API is no longer supported. Please use the...

Hi Is there a pre-trained model for download? It would be best if the model is first converted to CPU. thanks

Instructions for Generating Dependency Trees for CTB

2

Hi, I have followed distance-parser to preprocess the CTB data, but what are the exact steps for generating dependency trees (They only do constituency parsing)? Thank you!

Failed to Build tcoq

2

Hello, I'm building toq on macOS and I saw this error in my `tcoq/time.log` when executing `build_tcoq.sh`: ``` *** Warning: in file theories/Init/Notations.v, declared ML module coretactics has not been...

Problem with Hashing `Z3.ExprAllocated` in Julia 1.6

2

Hi, I have the following error when trying to add a Z3 expr to a Set. The code works in Julia 1.5 but breaks in Julia 1.6. It looks like...

Hi all, I'm wrapping my computation into a AutoModule and I do not need bias. And I have to do something like `loss = loss + 0 * torch.sum(bias)` in...

Which version of CTB to use?

5

Hi, The CTB version in the paper is 5.1 but this repo links to CTB 8.0. I'm wondering which version should be used to reproduce the experiments? Thank you.

Hi, Thanks for releasing the code! I have a question about the meaning of `turk_label` in eQASC. For example, in [explore_data.ipynb](https://github.com/harsh19/Reasoning-Chains-MultihopQA/blob/master/data/explore_data.ipynb), there are a few different values for `turk_label`: *...

Loss function explode under default settings

4

Hi all, I'm training on CIFAR-10 following the instructions but I found that in most cases the loss function explodes during the first few iterations. This is how it behaved...