activity
20092026
most citedOn a Formal Model of Safe and Scalable Self-driving Cars

419 citations · 2.1k across the 46 of their papers we have counts for

collaborators

47 papers

cs.AI2026

When Does In-Context Search Help? A Sampling-Complexity Theory of Reflection-Driven Reasoning

Yotam Wolf, Noam Wies, Amnon Shashua

Training large language models (LLMs) with extended reasoning has enabled in-context search, in which models iteratively generate, critique, and revise solution attempts. We provid…

cs.AI2025

From Reasoning to Super-Intelligence: A Search-Theoretic Perspective

Shai Shalev-Shwartz, Amnon Shashua

Chain-of-Thought (CoT) reasoning has emerged as a powerful tool for enhancing the problem-solving capabilities of large language models (LLMs). However, the theoretical foundations…

cs.AI2025

FormulaOne: Measuring the Depth of Algorithmic Reasoning Beyond Competitive Programming

Gal Beniamini, Yuval Dor, Alon Vinnikov +10

Frontier AI models demonstrate formidable breadth of knowledge. But how close are they to true human -- or superhuman -- expertise? Genuine experts can tackle the hardest problems…

cs.AI2024

Artificial Expert Intelligence through PAC-reasoning

Shai Shalev-Shwartz, Amnon Shashua, Gal Beniamini +6

Artificial Expert Intelligence (AEI) seeks to transcend the limitations of both Artificial General Intelligence (AGI) and narrow AI by integrating domain-specific expertise with cr…

cs.AI2024

Compositional Hardness of Code in Large Language Models -- A Probabilistic Perspective

Yotam Wolf, Binyamin Rothberg, Dorin Shteyman +1

A common practice in large language model (LLM) usage for complex analytical tasks such as code generation, is to sample a solution for the entire task within the model's context w…

cs.CL2024

Tradeoffs Between Alignment and Helpfulness in Language Models with Steering Methods

Yotam Wolf, Noam Wies, Dorin Shteyman +3

Language model alignment has become an important component of AI safety, allowing safe interactions between humans and language models, by enhancing desired behaviors and inhibitin…

cs.CL2023★ 8 cited

Generating Benchmarks for Factuality Evaluation of Language Models

Dor Muhlgay, Ori Ram, Inbal Magar +7

Before deploying a language model (LM) within a given domain, it is important to measure its tendency to generate factually incorrect information in that domain. Existing methods f…

cs.CL2023★ 1 cited

Align With Purpose: Optimize Desired Properties in CTC Models with a General Plug-and-Play Framework

Eliya Segev, Maya Alroy, Ronen Katsir +8

Connectionist Temporal Classification (CTC) is a widely used criterion for training supervised sequence-to-sequence (seq2seq) models. It enables learning the relations between inpu…

cs.CL2023★ 45 cited

Fundamental Limitations of Alignment in Large Language Models

Yotam Wolf, Noam Wies, Oshri Avnery +2

An important aspect in developing language models that interact with humans is aligning their behavior to be useful and unharmful for their human users. This is usually achieved by…

cs.CL2023★ 8 cited

The Learnability of In-Context Learning

Noam Wies, Yoav Levine, Amnon Shashua

In-context learning is a surprising and important phenomenon that emerged when modern language models were scaled to billions of learned parameters. Without modifying a large langu…

cs.CL2023★ 13 cited

In-Context Retrieval-Augmented Language Models

Ori Ram, Yoav Levine, Itay Dalmedigos +4

Retrieval-Augmented Language Modeling (RALM) methods, which condition a language model (LM) on relevant documents from a grounding corpus during generation, were shown to significa…

cs.CL2022★ 2 cited

Parallel Context Windows for Large Language Models

Nir Ratner, Yoav Levine, Yonatan Belinkov +7

When applied to processing long text, Large Language Models (LLMs) are limited by their context window. Existing efforts to address this limitation involve training specialized arc…

cs.CL2022★ 45 cited

MRKL Systems: A modular, neuro-symbolic architecture that combines large language models, external knowledge sources and discrete reasoning

Ehud Karpas, Omri Abend, Yonatan Belinkov +14

Huge language models (LMs) have ushered in a new era for AI, serving as a gateway to natural-language-based knowledge tasks. Although an essential element of modern AI, LMs are als…

cs.CL2022★ 20 cited

Standing on the Shoulders of Giant Frozen Language Models

Yoav Levine, Itay Dalmedigos, Ori Ram +10

Huge pretrained language models (LMs) have demonstrated surprisingly good zero-shot capabilities on a wide variety of tasks. This gives rise to the appealing vision of a single, ve…

cs.CL2022★ 3 cited

Sub-Task Decomposition Enables Learning in Sequence to Sequence Tasks

Noam Wies, Yoav Levine, Amnon Shashua

The field of Natural Language Processing has experienced a dramatic leap in capabilities with the recent introduction of huge Language Models. Despite this success, natural languag…

cs.CL2021★ 1 cited

The Inductive Bias of In-Context Learning: Rethinking Pretraining Example Design

Yoav Levine, Noam Wies, Daniel Jannai +3

Pretraining Neural Language Models (NLMs) over a large corpus involves chunking the text into training examples, which are contiguous text segments of sizes processable by the neur…

cs.LG2021★ 6 cited

Which transformer architecture fits my data? A vocabulary bottleneck in self-attention

Noam Wies, Yoav Levine, Daniel Jannai +1

After their successful debut in natural language processing, Transformer architectures are now becoming the de-facto standard in many domains. An obstacle for their deployment over…

quant-ph2021★ 97 cited

Neural tensor contractions and the expressive power of deep neural quantum states

Or Sharir, Amnon Shashua, Giuseppe Carleo

We establish a direct connection between general tensor networks and deep feed-forward artificial neural networks. The core of our results is the construction of neural-network lay…

cs.LG2020★ 7 cited

The Depth-to-Width Interplay in Self-Attention

Yoav Levine, Noam Wies, Or Sharir +2

Self-attention architectures, which are rapidly pushing the frontier in natural language processing, demonstrate a surprising depth-inefficient behavior: previous works indicate th…

cs.LG2020★ 2 cited

On the Ethics of Building AI in a Responsible Manner

Shai Shalev-Shwartz, Shaked Shammah, Amnon Shashua

The AI-alignment problem arises when there is a discrepancy between the goals that a human designer specifies to an AI learner and a potential catastrophic outcome that does not re…

cs.CL2019

SenseBERT: Driving Some Sense into BERT

Yoav Levine, Barak Lenz, Or Dagan +6

The ability to learn from large unlabeled corpora has allowed neural language models to advance the frontier in natural language understanding. However, existing self-supervision t…

cond-mat.dis-nn2019★ 261 cited

Deep autoregressive models for the efficient variational simulation of many-body quantum systems

Or Sharir, Yoav Levine, Noam Wies +2

Artificial Neural Networks were recently shown to be an efficient representation of highly-entangled many-body quantum states. In practical applications, neural-network states inhe…

cs.RO2019★ 8 cited

Vision Zero: on a Provable Method for Eliminating Roadway Accidents without Compromising Traffic Throughput

Shai Shalev-Shwartz, Shaked Shammah, Amnon Shashua

We propose an economical, viable, approach to eliminate almost all car accidents. Our method relies on a mathematical model of safety and can be applied to all modern cars at a mil…

quant-ph2018★ 210 cited

Quantum Entanglement in Deep Learning Architectures

Yoav Levine, Or Sharir, Nadav Cohen +1

Modern deep learning has enabled unprecedented achievements in various domains. Nonetheless, employment of machine learning for wave function representations is focused on more tra…