Courses from 1000+ universities
Two years after its first major layoff round, Coursera announces another, impacting 10% of its workforce.
600 Free Google Certifications
Graphic Design
Data Analysis
Digital Marketing
El rol de la digitalización en la transición energética
First Step Korean
Supporting Successful Learning in Primary School
Organize and share your learning with Class Central Lists.
View our Lists Showcase
Discover groundbreaking research on context-bounded analysis and its impact on testing concurrent programs in this CAV Award 2023 presentation.
Explore hardware-software contracts synthesis, security vulnerability detection, and microarchitecture updates for verified software security. Gain insights into cutting-edge approaches for high-assurance computer systems design.
Explore privacy-preserving formal reasoning techniques, including ppSAT solver and zero-knowledge protocols for Boolean formula unsatisfiability, advancing automated verification while maintaining data privacy.
Explore analogical reasoning in AI, comparing domain-specific engines like Flash Fill with LLMs like GPT-4. Discover implications for problem-solving and programming, including prompt engineering and multi-turn workflows.
Get personalized course recommendations, track subjects and courses with reminders, and more.
