activity
20032025
most citedTowards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

12 citations · 22 across the 7 of their papers we have counts for

collaborators

8 papers

q-bio.NC2025

Evolution of diverse (and advanced) cognitive abilities through adaptive fine-tuning of learning and chunking mechanisms

Arnon Lotem, Joseph Y. Halpern

The evolution of cognition is frequently discussed as the evolution of cognitive abilities or the evolution of some neuronal structures in the brain. However, since such traits or…

cs.DC2024

A Knowledge-Based Analysis of Intersection Protocols

Kaya Alpturer, Joseph Y. Halpern, Ron van der Meyden

The increasing wireless communication capabilities of vehicles creates opportunities for more efficient intersection management strategies. One promising approach is the replacemen…

cs.AI2024

Intervention and Conditioning in Causal Bayesian Networks

Sainyam Galhotra, Joseph Y. Halpern

Causal models are crucial for understanding complex systems and identifying causal relationships among variables. Even though causal models are extremely popular, conditional proba…

cs.AI2024★ 12 cited

Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

David "davidad" Dalrymple, Joar Skalse, Yoshua Bengio +14

Ensuring that AI systems reliably and robustly avoid harmful or dangerous behaviours is a crucial challenge, especially for AI systems with a high degree of autonomy and general in…

cs.AI2024

Mathematical Explanations

Joseph Y. Halpern

A definition of what counts as an explanation of mathematical statement, and when one explanation is better than another, is given. Since all mathematical facts must be true in all…

cs.AI2024

Explaining Image Classifiers

Hana Chockler, Joseph Y. Halpern

We focus on explaining image classifiers, taking the work of Mothilal et al. [2021] (MMTS) as our point of departure. We observe that, although MMTS claim to be using the definitio…