Skip to main content

Utility navigation

  • Calendar
  • Contact
  • Login
  • MAKE A GIFT
Berkeley University of California
Home Home

Main navigation

  • Programs & Events
    • Research Programs
    • Workshops & Symposia
    • Public Lectures
    • Research Pods
    • Internal Program Activities
    • Algorithms, Society, and the Law
  • Participate
    • Apply to Participate
    • Propose a Program
    • Postdoctoral Research Fellowships
    • Law and Society Fellowships
    • Science Communicator in Residence Program
    • Circles
    • Breakthroughs Workshops and Goldwasser Exploratory Workshops
  • People
    • Scientific Leadership
    • Staff
    • Current Long-Term Visitors
    • Research Fellows
    • Postdoctoral Researchers
    • Scientific Advisory Board
    • Governance Board
    • Affiliated Faculty
    • Science Communicators in Residence
    • Law and Society Fellows
    • Chancellor's Professors
  • News & Videos
    • News
    • Videos
  • Support for the Institute
    • Annual Fund
    • All Funders
    • Institutional Partnerships
  • For Visitors
    • Visitor Guide
    • Plan Your Visit
    • Location & Directions
    • Accessibility
    • Building Access
    • IT Guide
  • About

Results 2151 - 2160 of 23899

Workshop Talk
|
Apr. 29, 2025

Query Languages for Machine Learning Models

Emerging challenges in machine learning (ML), such as explainability and verification, underscore the growing need for declarative query languages that enable users to extract relevant information from ML models and adapt it to diverse application-specific requirements. These query languages offer several advantages: they provide flexibility in information extraction, establish clear syntax and semantics for queries, and pave the way for query optimization. In this talk, we survey two recent proposals for query languages tailored to ML models—one designed for discrete classification models and another for real-valued models. We demonstrate how these languages can express meaningful queries over ML models, and we analyze their expressiveness and evaluation complexity. Our goal is to foster a productive discussion on advancing the development of practical query languages for ML models that can be effectively applied across a wide range of scenarios.6

Workshop Talk
|
Apr. 28, 2025

Safety of GenAI through the Lens of Security and Cryptography

Workshop Talk
|
Apr. 28, 2025

Safety of GenAI through the lens of Security and Cryptography

Workshop Talk
|
Apr. 28, 2025

Provably Safe and Beneficial AI

Workshop Talk
|
Apr. 28, 2025

Veridical Data Science towards Trustworthy AI

Workshop Talk
|
Apr. 28, 2025

Veridical Data Science towards Trustworthy AI

Workshop Talk
|
Apr. 28, 2025

Introduction

No abstract available.

Workshop
|
April 28, 2025, 9:00 am - May 2, 2025, 5:00 pm
Theoretical Aspects of Trustworthy AI

The impact of Artificial Intelligence on our lives is growing by the day, yet much remains to be done to make it trustworthy. A research community is emerging at the intersection of Artificial Intelligence and Machine Learning, on the one hand, and Formal...

People

Yves Baumann

Yves is currently at ETH Zurich pursuing research in Laplacian linear system solvers and their applications. He is broadly interested in fast graph algorithms, high-performance computing and numerical linear algebra (mostly applied to graphs). Recent...

People

Alexander Rogovskyy

Alexander Rogovskyy began his studies in Mathematics and Computer Science at Saarland University in 2018. He is broadly interested in the intersection between Algebra and Computer Science. In 2022, he completed his Bachelor Thesis with Prof. Weitze...

Pagination

  • Previous page Previous
  • Page 214
  • Page 215
  • Current page 216
  • Page 217
  • Page 218
  • Next page Next
Home
The Simons Institute for the Theory of Computing is the world's leading venue for collaborative research in theoretical computer science.

Footer

  • Programs & Events
  • Participate
  • Workshops & Symposia
  • Contact Us
  • Calendar
  • Accessibility

Footer social media

  • Twitter
  • Facebook
  • Youtube
© 2013–2026 Simons Institute for the Theory of Computing. All Rights Reserved.
link to homepage

Main navigation

  • Programs & Events
    • Research Programs
    • Workshops & Symposia
    • Public Lectures
    • Research Pods
    • Internal Program Activities
    • Algorithms, Society, and the Law
  • Participate
    • Apply to Participate
    • Propose a Program
    • Postdoctoral Research Fellowships
    • Law and Society Fellowships
    • Science Communicator in Residence Program
    • Circles
    • Breakthroughs Workshops and Goldwasser Exploratory Workshops
  • People
    • Scientific Leadership
    • Staff
    • Current Long-Term Visitors
    • Research Fellows
    • Postdoctoral Researchers
    • Scientific Advisory Board
    • Governance Board
    • Affiliated Faculty
    • Science Communicators in Residence
    • Law and Society Fellows
    • Chancellor's Professors
  • News & Videos
    • News
    • Videos
  • Support for the Institute
    • Annual Fund
    • All Funders
    • Institutional Partnerships
  • For Visitors
    • Visitor Guide
    • Plan Your Visit
    • Location & Directions
    • Accessibility
    • Building Access
    • IT Guide
  • About

Utility navigation

  • Calendar
  • Contact
  • Login
  • MAKE A GIFT
link to homepage