[IEEE] Neurosymbolic Architectural Reasoning: Towards Formal Analysis through Neural Software Architecture Inference

pokani777 Post time The day before yesterday 20:16 | Show all posts |Read mode
This post will be closed automatically in 2026-10-30 20:16
Reward30points

journalㄩ2025 IEEE/ACM 1st International Workshop on Neuro-Symbolic Software Engineering (NSE)

AuthorsㄩSteffen Herbold; Christoph Knieke; Andreas Rausch; Christian Schindler

Published dateㄩ2025-5-3

DOIㄩ10.1109/nse66660.2025.00008

PDF linkㄩhttps://ieeexplore.ieee.org/stampPDF/getPDF.jsp?arnumber=11039279

Article linkㄩhttps://doi.org/10.1109/nse66660.2025.00008

Article SourceㄩIEEE﹝


Remarkㄩ

Best Answer

Please approve

View Full Content

Reply

Use magic Donate Report

All Reply1 Show all posts
tarak-dhaouadi Post time The day before yesterday 20:16 | Show all posts

This post has been completed

Completed attachments will be deleted within 24 hours.
Reply

Use magic Donate Report

Return to the list