This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
VCLA | TU Wien
vclatuwien.bsky.social
did:plc:fum67r7bonngwtjpwbuvr7bq
🧠 Neural meets Symbolic: Synergies Between Language Models and Constraint Reasoning
On May 3, VCLA Co-Chair Stefan Szeider delivered a keynote at the 1st International Workshop on Neuro-Symbolic Software Engineering (NSE) in Ottawa, Canada 🇨🇦
ℹ️ https://www.vcla.at/2025/05/szeider-nse/
2025-05-05T11:25:48.385Z