Stefan Szeider
szeider.bsky.social
Professor & Chair at TU Wien, leading the Algorithms and Complexity Group. Specializing in symbolic and neurosymbolic methods to address complex computational problems in AI, automated reasoning, and combinatorial optimization. (ac.tuwien.ac.at)
👤 Joined on 17 November 2024
92
Followers
67
Following
12
Total Posts
📜 Kullanıcı Geçmişi
- 17 Kas 2024, 17:41
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@szeider.bsky.social
🚫 Blokladığı Kullanıcılar
Bu kullanıcının blokladığı kullanıcı bulunamadı.
❤️ Beğendiği Gönderiler
I decided to teach ChatGPT a theorem, that the halting problem reduces to the Kolmogorov Complexity function. We did get there in the end, but it was a painful journey. chatgpt.com/share/67...
Show Post
What is theoretical computer science? ~ Moshe Y. Vardi. cacm.acm.org/opinion/what... #CompSci #Math
Show Post