ZHAO Junbo

icon indicating a website link ai.bnu.edu.cn

icon company Beijing Normal University icon location Beijing icon location currently pursuing a Master's degree in Computer Science at Artificial Intelligence School, Beijing Normal University. Contact me via [email protected]

Results 1 issues of ZHAO Junbo

additional details or explanations of symbolic solver or g ∗ ← SOLVEEQUATION(Rt, g)

This work is very inspiring, and I would like to study in detail how the symbolic solver is implemented. The description of g ∗ ← SOLVEEQUATION(Rt, g) in the paper...