Displaying 263 resources


The Silent (R)evolution of SAT
The Propositional Satisfiability problem (SAT) was the first to be shown NP-complete by Cook and Levin. SAT remained the embodiment of theoretical worst-case hardness.

An introduction to manifolds
This book provides an introduction to the theory of manifolds in an easy readable way. Key concepts of manifolds, angent spaces and Lie group / Lie algebra are presented.


Sparks of Artificial General Intelligence: Early experiments with GPT-4
Artificial intelligence (AI) researchers have been developing and refining large language models (LLMs) that exhibit remarkable capabilities across a variety of domains and tasks, challenging our understanding of learning and cognition.



AI Studies Survey
AI is a rapidly emerging field that has opened up new vistas of innovation and creativity. From intelligent systems to self-driving cars, AI has transformed the way we live and work.


Learning on manifolds
The conference paper provides a brief introduction into manifolds from a computer vision perspective. Important manifolds for this research field, like symmetric positive definite matrices and affine transformation matrices, are presented.


A Survey on Proactive Dialogue Systems: Problems, Methods, and Prospects
Proactive dialogue systems, related to a wide range of real-world conversational applications, equip the conversational agent with the capability of leading the conversation direction towards achieving pre-defined targets or fulfilling certain goals