Kaiyu Yang

I was compiling from source using branch v8.9 commit a6b4445d49be123019f9f83ac39b8832b7224a5e. I'm trying to find a test-case.

I cannot find a easy test-case, since the Coq code relies on other code as well. I'll just try to use sercomp instead. Thanks.

I'll have a try. Thanks!

It works pretty well. What is the `text` in `(Parse ((ontop sid)) "text")`? Is it constrained to be exactly the same as the command added before?

Got it, thanks!

Hi, Any luck in fixing this bug?

I have a similar issue. This is my test case: ``` julia> ForwardDiff.derivative(x -> x * ForwardDiff.derivative(y -> x + y, 1), 1) # OK 1 julia> ReverseDiff.gradient(x -> x[1]...

I'm still getting this with `sentencepiece==0.1.97` and `pytorch_lightning==1.7.1`

Hi @jordane95, yes it works! But I have to `import sentencepiece` even when I only want to use `pytorch_lightning `. I think it's not a big problem for now. Maybe...

Hi, Thanks for your interest in our work. I think it would be great to have more documentation and tutorials on that. However, unfortunately, I do not have enough bandwidth...