Good luck, you're attacking one of the hardest problems of computer science!

Sorry I don't have anything substantial to offer except my encouragements.