Xuejie Liu

icon company China icon location Beijing

Results 2 issues of Xuejie Liu

tensorflow.python.framework.errors_impl.InternalError: Blas GEMM launch failed

3 comment

Hello, Thanks for your great work. I am currently trying to reproduce it and stuck with some problems about tensorflow. I have successfully generated training dataset for setcover and meet...

How to search a customed theorem with lean-gym?

Hi, I wonder how to search a customed theorem with lean-gym? For example, ∀ (a b : ℝ), ∃ x, (a + b) ^ 3 = a ^ 3 +...