symbolic-reasoning-ai