Yes, there’s not much to do here. Pull back. When you see her, don’t engage her. Say hello, ask her how she’s doing, and move on. If there are other women present, go talk to them. Her level of interest in you has to be much higher before you can ask her out again.