NSE

NSE 2025 with ICSE 2025

1st International Workshop on Neuro-Symbolic Software Engineering Software engineering has a success history of evolving symbolic techniques, e.g., formal methods and programming languages, to solve increasingly challenging problems like providing safety and performance guarantees for autonomous intelligent systems fulfilling mission-critical functions. With the availability of machine learning (ML) techniques, ...