Neural-Guided Symbolic Regression with Semantic Prior