From signals to symbols: fault classification using transformers and logic-based reasoning. Darian Onchis, Eduard Hogea, Codruta Istin. In: Proceedings of the 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2025), September 2025, Cluj-Napoca, Romania.