Brundan-Kazhdan-Lusztig and super duality conjectures, (with Shun-Jen Cheng)