Softly Symbolifying Kolmogorov-Arnold Networks