הכנס הארצי למדעי המחשב והמידע

בחסות הפקולטה למדעי המחשב והמידע ע"ש שטיין
{{tariff.title}}

{{tariff.validUntilDescription}}

 
מחיר

הרשמו עכשיו

מושב בינה מלאכותית

בשיתוף עם האיגוד הישראלי לבינה מלאכותית (IAAI).

במסגרת הכנס הארצי למדעי המחשב והמידע, אשר יתקיים ב־08/10/26, אנו נקיים מושב בבינה מלאכותית. המושב משקף את המיקוד של הכנס בתמורות בבינה מלאכותית באקדמיה, בתעשייה ובחברה בישראל. הוא יכלול הרצאות מוזמנות ממיטב החוקרים בתחום, ממגוון אוניברסיטאות ומוסדות מחקר. חלק מהמושב יוקדש למפגש השנתי של האיגוד הישראלי לבינה מלאכותית.

המושב ייתקיים באולם זוננפלד. דרכי הגעה: https://www.bgu.ac.il/general/maps/

דוברים במושב

Keynote Speakers

פרופ' מיכל אירני

מכון ויצמן למדע

Bridging the gap between Minds & Machines

Abstract

In this talk I will present how combining the power of Brains & Deep-Networks (DNNs) can lead to significant breakthroughs in both domains and potentially bridge the gap between Minds & Machines. I will further show how combining the power of Multiple Brains (“The Wisdom of a Crowd of Brains”) may lead to new breakthrough discoveries in Brain-Science, allow mapping of information between different brains (with NO shared data), and lead to new ways of training and interpreting artificial DNNs.

פרופ' מיכל אירני

פרופ' מיכל פלדמן

אוניברסיטת תל אביב

Algorithmic Contract Design: Foundations and Frontiers

Abstract

How should a principal design incentives when the effort of agents is costly and unobservable? Contract theory studies this question through performance-based payments. In many modern environments, however, the challenge is also computational: the space of possible actions or teams can be enormous, and finding the right contract becomes an algorithmic problem. This perspective has led to the emerging area of algorithmic contract design. These questions are particularly relevant in an increasingly agentic world, where autonomous AI agents may choose among complex courses of action, collaborate with other agents, and act on behalf of human or organizational principals. Designing incentives that align such agents with the principal's objectives naturally brings together ideas from contract theory and algorithms.

In this talk I will discuss recent progress on combinatorial contracts, where complexity arises in two natural ways: from the many possible combinations of actions an agent may take, and from the many possible compositions of a team of agents whose efforts jointly determine the outcome. I will present several models capturing these scenarios and highlight the algorithmic and complexity questions they raise. The results reveal a rich landscape that includes polynomial-time algorithms under structured reward functions, approximation guarantees in more general settings, and hardness barriers. Overall, these results illustrate how tools from algorithms and economic theory interact in the study of incentives, and point to a range of problems at the frontier of algorithms and incentives with growing relevance to the design of multi-agent AI systems.

פרופ' מיכל פלדמן

Invited Speakers

פרופ' מיכאל אלעד

הטכניון – מכון טכנולוגי לישראל

Novel Lossy Image Compression Schemes via Diffusion Models

Abstract

Diffusion models have transformed the landscape of image generation, offering a reliable sampling from the probability density function of images. These models have also been extended to provide posterior sampling capabilities, by conditioning the process on given external controls. This ability has been demonstrated for handling inverse problems in novel ways, and for producing images conditioned on textual prompts, showing in both tasks remarkable results. A very new and fascinating trend in this domain harnesses diffusion models to image compression, showing great potential here as well. This talk presents this story: The essence of diffusion models, their generative abilities, their posterior-sampling extensions, and most importantly, their ability to lead to novel and highly effective compression schemes for images and other data sources. No background is assumed.

פרופ' מיכאל אלעד

פרופ' אמיר גלוברזון

אוניברסיטת תל אביב

Are LLMs knowledge bases?

Abstract

Language models (LMs) capture large amounts of factual knowledge applicable to a wide range of tasks. However, we do not yet have a coherent theory for how this knowledge is stored and retrieved. A compelling analogy is that of knowledge bases, which have traditionally been used to represent facts in a structured manner. In this talk, I will present our recent results that shed light on mechanisms for information storage and retrieval in LLMs, and how these relate to a knowledge base view.

פרופ' אמיר גלוברזון

פרופ' נעה אגמון

אוניברסיטת בר אילן

Strategic Robots: Between Cooperation and Competition in Robot Teams and Swarms

Abstract

Multi-robot systems are often designed under a simple assumption: all robots share the same goal and cooperate fully. But what happens when this assumption does not hold? In this talk, I will explore strategic behavior in multi-robot systems, from decentralized swarms to settings involving competition, self-interest, and selective cooperation. I will discuss how physical constraints, limited information, and interactions between robots shape collective decision making, and how these settings create challenges beyond standard cooperative planning.

פרופ' נעה אגמון

פרופ' עמרי אבנד

האוניברסיטה העברית בירושלים

The Challenge and Reward of Fair Play in Narrative: A Computational Investigation

Abstract

Effective storytelling relies on a delicate balance between meeting the reader's prior expectations and introducing unexpected developments. In the domain of detective fiction, this tension is known as fair play, which includes the implicit agreement between the writer and the reader as to the possibility and challenge of identifying the culprit through the story's clues. I will present a probabilistic framework that aims to quantify this elusive notion. Our definitions present an inherent tension between the coherence of the story, which measures how much the resolution “makes sense” in explaining the clues, and the surprise it induces. Due to this tension, balancing these qualities is challenging. We operationalize the proposed framework, defining an approximate computable metric of “fair play”.

Our validation simulations include both real stories and LLM-generated ones (the latter allowing maximal experimental control). The results present similar trends to the ones predicted by the framework. I will conclude by discussing potential broader implications.

This is joint work with Eitan Wagner and Renana Keydar.

פרופ' עמרי אבנד

ד"ר משה אליסוף

אוניברסיטת בן־גוריון בנגב

Towards a Common Language for Foundation Models

Abstract

Foundation models aim to reuse representations and computation across tasks, domains, and models. Yet different models often operate in incompatible feature spaces: dimensions may differ, coordinates may have unrelated meanings, and representations of objects may not be directly comparable. This raises a basic question: can we construct a common language without requiring shared feature coordinates?

I will discuss recent work that represents information through relations between tokens rather than feature identity, allowing structure to be compared across otherwise incompatible representation spaces. I will also show how related relational views can help us study representations inside large language models.

ד"ר משה אליסוף

ד"ר איתי ספרן

אוניברסיטת בן־גוריון בנגב

To Grok Grokking: Provable Grokking in Ridge Regression

Abstract

Grokking is the sudden onset of generalization long after a model has already overfit its training data. In this talk, I will present an end-to-end theoretical account of this phenomenon in classical ridge regression. For over-parameterized linear models trained by gradient descent with weight decay, we prove the full grokking trajectory: early overfitting, a prolonged period of poor generalization, and eventual convergence to arbitrarily small generalization error. Our analysis provides quantitative bounds on the generalization delay, and shows how it can be amplified or eliminated through principled hyperparameter tuning. I will also present experiments suggesting that these predictions extend beyond linear models to nonlinear neural networks. Overall, the results suggest that grokking is not an inherent failure mode of deep learning, but rather a consequence of specific training conditions, and thus does not require fundamental changes to the model architecture or learning algorithm to avoid.

Joint work with Mingyue Xu and Gal Vardi.

ד"ר איתי ספרן

לוח זמנים:

09:30–11:10 מושב בוקר:
יו"ר המושב: ד"ר שחף שפרברג.

  • 09:30–09:50 ד"ר איתי ספרן.
  • 09:50–10:10 פרופ' נעה אגמון.
  • 10:10–10:30 פרופ' מיכאל אלעד.
  • 10:30–11:10 הרצאת keynote של פרופ' מיכל אירני.

11:30–13:15 מושב מרכזי משותף

13:15–14:15 ארוחת צהריים

14:15–16:45 מושב אחר הצהריים:
יו"ר המושב: ד"ר איתי ספרן.

  • 14:15–14:30 פגישה שנתית של העמותה הישראלית לבינה המלאכותית.
    יו"ר: פרופ' טל גרינשפון.
  • 14:30–15:10 הרצאת keynote של פרופ' מיכל פלדמן.
  • 15:10–15:30 פרופ' עמרי אבנד.
  • 15:30–15:50 ד"ר משה אליסוף.
  • 15:50–16:10 פרופ' אמיר גלוברזון.
  • 16:10–16:45 Poster session.

Artificial Intelligence Session

In collaboration with the Israeli Association for Artificial Intelligence (IAAI).

As part of the National Conference on Computer and Information Sciences, taking place on 08/10/26, we will hold an artificial intelligence session. This session reflects the conference’s focus on developments in artificial intelligence in Israeli academia, industry, and society. It will feature invited talks by leading researchers in the field from various universities and research institutions. Part of the session will be devoted to the annual meeting of the Israeli Association for Artificial Intelligence.

The session will take place in Zonenfeld Hall. For direction see: https://www.bgu.ac.il/general/maps/

Session Speakers

Keynote Speakers

Prof. Michal Irani

Weizmann Institute of Science

Bridging the gap between Minds & Machines

Abstract

In this talk I will present how combining the power of Brains & Deep-Networks (DNNs) can lead to significant breakthroughs in both domains and potentially bridge the gap between Minds & Machines. I will further show how combining the power of Multiple Brains (“The Wisdom of a Crowd of Brains”) may lead to new breakthrough discoveries in Brain-Science, allow mapping of information between different brains (with NO shared data), and lead to new ways of training and interpreting artificial DNNs.

Prof. Michal Irani

Prof. Michal Feldman

Tel Aviv University

Algorithmic Contract Design: Foundations and Frontiers

Abstract

How should a principal design incentives when the effort of agents is costly and unobservable? Contract theory studies this question through performance-based payments. In many modern environments, however, the challenge is also computational: the space of possible actions or teams can be enormous, and finding the right contract becomes an algorithmic problem. This perspective has led to the emerging area of algorithmic contract design. These questions are particularly relevant in an increasingly agentic world, where autonomous AI agents may choose among complex courses of action, collaborate with other agents, and act on behalf of human or organizational principals. Designing incentives that align such agents with the principal's objectives naturally brings together ideas from contract theory and algorithms.

In this talk I will discuss recent progress on combinatorial contracts, where complexity arises in two natural ways: from the many possible combinations of actions an agent may take, and from the many possible compositions of a team of agents whose efforts jointly determine the outcome. I will present several models capturing these scenarios and highlight the algorithmic and complexity questions they raise. The results reveal a rich landscape that includes polynomial-time algorithms under structured reward functions, approximation guarantees in more general settings, and hardness barriers. Overall, these results illustrate how tools from algorithms and economic theory interact in the study of incentives, and point to a range of problems at the frontier of algorithms and incentives with growing relevance to the design of multi-agent AI systems.

Prof. Michal Feldman

Invited Speakers

Prof. Michael Elad

Technion – Israel Institute of Technology

Novel Lossy Image Compression Schemes via Diffusion Models

Abstract

Diffusion models have transformed the landscape of image generation, offering a reliable sampling from the probability density function of images. These models have also been extended to provide posterior sampling capabilities, by conditioning the process on given external controls. This ability has been demonstrated for handling inverse problems in novel ways, and for producing images conditioned on textual prompts, showing in both tasks remarkable results. A very new and fascinating trend in this domain harnesses diffusion models to image compression, showing great potential here as well. This talk presents this story: The essence of diffusion models, their generative abilities, their posterior-sampling extensions, and most importantly, their ability to lead to novel and highly effective compression schemes for images and other data sources. No background is assumed.

Prof. Michael Elad

Prof. Amir Globerson

Tel Aviv University

Are LLMs knowledge bases?

Abstract

Language models (LMs) capture large amounts of factual knowledge applicable to a wide range of tasks. However, we do not yet have a coherent theory for how this knowledge is stored and retrieved. A compelling analogy is that of knowledge bases, which have traditionally been used to represent facts in a structured manner. In this talk, I will present our recent results that shed light on mechanisms for information storage and retrieval in LLMs, and how these relate to a knowledge base view.

Prof. Amir Globerson

Prof. Noa Agmon

Bar-Ilan University

Strategic Robots: Between Cooperation and Competition in Robot Teams and Swarms

Abstract

Multi-robot systems are often designed under a simple assumption: all robots share the same goal and cooperate fully. But what happens when this assumption does not hold? In this talk, I will explore strategic behavior in multi-robot systems, from decentralized swarms to settings involving competition, self-interest, and selective cooperation. I will discuss how physical constraints, limited information, and interactions between robots shape collective decision making, and how these settings create challenges beyond standard cooperative planning.

Prof. Noa Agmon

Prof. Omri Abend

The Hebrew University of Jerusalem

The Challenge and Reward of Fair Play in Narrative: A Computational Investigation

Abstract

Effective storytelling relies on a delicate balance between meeting the reader's prior expectations and introducing unexpected developments. In the domain of detective fiction, this tension is known as fair play, which includes the implicit agreement between the writer and the reader as to the possibility and challenge of identifying the culprit through the story's clues. I will present a probabilistic framework that aims to quantify this elusive notion. Our definitions present an inherent tension between the coherence of the story, which measures how much the resolution “makes sense” in explaining the clues, and the surprise it induces. Due to this tension, balancing these qualities is challenging. We operationalize the proposed framework, defining an approximate computable metric of “fair play”.

Our validation simulations include both real stories and LLM-generated ones (the latter allowing maximal experimental control). The results present similar trends to the ones predicted by the framework. I will conclude by discussing potential broader implications.

This is joint work with Eitan Wagner and Renana Keydar.

Prof. Omri Abend

Dr. Moshe Eliasof

Ben-Gurion University of the Negev

Towards a Common Language for Foundation Models

Abstract

Foundation models aim to reuse representations and computation across tasks, domains, and models. Yet different models often operate in incompatible feature spaces: dimensions may differ, coordinates may have unrelated meanings, and representations of objects may not be directly comparable. This raises a basic question: can we construct a common language without requiring shared feature coordinates?

I will discuss recent work that represents information through relations between tokens rather than feature identity, allowing structure to be compared across otherwise incompatible representation spaces. I will also show how related relational views can help us study representations inside large language models.

Dr. Moshe Eliasof

Dr. Itay Safran

Ben-Gurion University of the Negev

To Grok Grokking: Provable Grokking in Ridge Regression

Abstract

Grokking is the sudden onset of generalization long after a model has already overfit its training data. In this talk, I will present an end-to-end theoretical account of this phenomenon in classical ridge regression. For over-parameterized linear models trained by gradient descent with weight decay, we prove the full grokking trajectory: early overfitting, a prolonged period of poor generalization, and eventual convergence to arbitrarily small generalization error. Our analysis provides quantitative bounds on the generalization delay, and shows how it can be amplified or eliminated through principled hyperparameter tuning. I will also present experiments suggesting that these predictions extend beyond linear models to nonlinear neural networks. Overall, the results suggest that grokking is not an inherent failure mode of deep learning, but rather a consequence of specific training conditions, and thus does not require fundamental changes to the model architecture or learning algorithm to avoid.

Joint work with Mingyue Xu and Gal Vardi.

Dr. Itay Safran

Schedule:

09:30–11:10 Morning session:
Session chair: Dr. Shahaf Shperberg.

  • 09:30–09:50 Dr. Itay Safran.
  • 09:50–10:10 Prof. Noa Agmon.
  • 10:10–10:30 Prof. Michael Elad.
  • 10:30–11:10 Keynote talk by Prof. Michal Irani.

11:30–13:15 Joint Plenary Session

13:15–14:15 Lunch

14:15–16:45 Afternoon session:
Session chair: Dr. Itay Safran.

  • 14:15–14:30 Annual meeting of the Israeli Association for Artificial Intelligence.
    Chair: Prof. Tal Grinshpoun.
  • 14:30–15:10 Keynote talk by Prof. Michal Feldman.
  • 15:10–15:30 Prof. Omri Abend.
  • 15:30–15:50 Dr. Moshe Eliasof.
  • 15:50–16:10 Prof. Amir Globerson.
  • 16:10–16:45 Poster session.
List of Posters (30)
  • Presenters: Amir Ammar & Dor Kovachi

    Beyond the Participant: Machine Learning Reveals Dyadic Expressive Differences During the ADOS-2

    Dor Kovacsi, Prof. Hagit Hel-Or, Dr. Marissa Hartston

  • Presenter: Ben Fishman

    Will It Render? Learned Attention Steering for Object Presence in Text-to-Video

    Ben Fishman, Gal Chechik, Idan Schwartz

  • Presenter: Yarin Benyamin

    Online Learning of Numeric Action Models for Planning

    Argaman Mordoch, Yarin Benyamin, Shahaf S. Shperberg, Brendan Juba, Roni Stern

    Paper
  • Presenter: Benzi Busigin

    Inside the LLM Word Factory

    Benzi Busigin, Yuval Pinter

    Paper
  • Presenter: Nurit Cohen Inger

    LongMem-RAT: Long-Term Memory for Cross-Session Red Teaming

    Nurit Cohen-Inger, Barak Haziz, Seffi Cohen, Yonatan Diga, Barak Chizi, Lior Rokach, Bracha Shapira

  • Presenter: Dan R. Suissa

    MR-STORM: Scalable Multi-Arm Control By Distributed MPC

    Dan Evron, Elias Goldsztejn, Dan R. Suissa, Ronen I. Brafman

    Paper
  • Presenter: Dan Tsir Cohen

    Realizable Bayes-Consistency for General Metric Losses

    Dan Tsir Cohen, Steve Hanneke, Aryeh Kontorovich

    Paper
  • Presenter: Efrat Moshe

    Routing Patient Messages in Primary Care Using Explainable Ontology-Guided Large Language Models

    Malak Younis, Meira Levy, Dikla Agur-Cohen, Efrat Moshe, Adir Solomon

  • Presenter: Fadi Khatib

    Learning Global Camera Poses from Noisy View-Graphs for Structure from Motion

    Fadi Khatib, Meirav Galun, Ronen Basri

    Paper
  • Presenter: Rotem Lev Lehman

    Privacy Preserving Multi-Agent Path Finding

    Rotem Lev Lehman, Roni Stern, and Guy Shani

    Paper
  • Presenter: Yonatan Livshitz

    Improved Distribution Estimation in ℓ∞

    Doron Cohen, Aryeh Kontorovich, Yonatan Livshitz

    Paper
  • Presenter: Nir Mualem

    Gaussian Splashing enables direct volumetric rendering underwater

    Nir Mualem, Roy Amoyal, Oren Freifeld & Derya Akkaynak

    Paper
  • Presenter: Noy Sternlicht

    CHIMERA: A Knowledge Base of Scientific Idea Recombinations for Research Analysis and Ideation

    Noy Sternlicht, Tom Hope

    Paper
  • Presenter: Orr Meir Zwebner

    Do We Really Need So Many Tokens? The Performance-Efficiency Trade-off in Tibetan and Sanskrit

    Orr Meir Zwebner, Kai Golan Hashiloni, Guy Bilitski, Oded Hellman, Nir Marciano, Erez Yousfan, Shai Fine, Kfir Bar

  • Presenter: Noga Peleg Pelc

    A Language for Describing Agentic LLM Contexts

    Noga Peleg Pelc, Gal A. Kaminka, Yoav Goldberg

    Paper
  • Presenter: Ram Rachum

    BXRL: Behavior-Explainable Reinforcement Learning

    Ram Rachum, Yotam Amitai, Yonatan Nakar, Reuth Mirsky, Cameron Allen

    Paper
  • Presenter: Ram Rachum

    Evaluating RL Explainability Methods by How Much They Help Fix Bugs in Agents

    Ram Rachum, Yotam Amitai, Bálint Gyevnár, Reuth Mirsky, Cameron Allen

    Paper
  • Presenter: Rami Zaboura

    Safety-Aware Next-POI Recommendation with Large Language Models

    Rami Zaboura, Ludovico Boratto, Adir Solomon

    Paper
  • Presenter: Raz Elbaz

    Selective Preference Aggregation for Top-k Essay Ranking

    Raz Elbaz and Lihi Dery

    Paper
  • Presenter: Ruth Ariel

    Gerrymandering Power in Multi-Candidate Elections: Theoretical Bounds and Empirical Dynamics

    Ruth Ariel and Omer Lev

    Paper
  • Presenter: Sapir Esther Yiflach

    Data-Driven Loss Functions for Inference-Time Optimization in Text-to-Image

    Sapir Esther Yiflach, Yuval Atzmon, Gal Chechik

    Paper
  • Presenter: Uri Kialy

    A Universal Vibe? Finding and Controlling Language-Agnostic Informal Register with SAEs

    Uri Kialy, Avi Shtarkberg, Ayal Klein

    Paper
  • Presenter: Guy Smorodinsky

    One combined poster based on two papers

    Provable Privacy Attacks on Trained Shallow Neural Networks

    Guy Smorodinsky, Gal Vardi, Itay Safran

    Paper

    No Prior, No Leakage: Revisiting Reconstruction Attacks in Trained Neural Networks

    Guy Smorodinsky, Yehonathan Refael, Ofir Lindenbaum, Itay Safran

    Paper
  • Presenter: Sol Yarkoni

    Reconstructing Template-Memorized Images from Natural Prompts

    Sol Yarkoni, Mahmood Sharif, Roi Livni

    Paper
  • Presenter: Ziv Fenigstein

    Automatically Inferring Teachers’ Geometric Content Knowledge: A Skills Based Approach

    Ziv Fenigstein, Kobi Gal, Avi Segal, Osama Swidan, Inbal Israel, Hassan Ayoob, Otman Jaber

    Paper
  • Presenter: Nitsan Soffair

    Smooth Reward Shaping via Normalized Softplus Functions for Reinforcement Learning

    Nitsan Soffair, Gilad Katz

  • Presenter: Amit Aflalo

    Factorized Gradients for Scalable Highly-expressive Parametric Diffeomorphisms

    Amit Aflalo, Eran Treister, Chaim Baskin, Oren Freifeld

  • Presenter: Shira Ifergane

    Video Stitching from Multiple Moving Cameras

    Shira Ifergane, Roy Amoyal, Shahar Benishay, Oren Freifeld

  • Presenter: Roy Amoyal

    Cross-Instance Gaussian Splatting Registration via Geometry-Aware Feature-Guided Alignment

    Roy Amoyal, Oren Freifeld, Chaim Baskin

    Paper
  • Presenter: Roy Amoyal

    SemGeo-Gen: Unsupervised Generation of Approximate Cross-Instance Semantic-Geometric Correspondences

    Roy Amoyal, Shira Ifergane, Oren Freifeld

{{tariff.title}}

{{tariff.validUntilDescription}}

 
מחיר

הרשמו עכשיו
ראשי המושב
פרופ' ברכה שפירא

פרופ' ברכה שפירא

פרופסורית מן המניין וראשת המכון למחקר יישומי בבינה מלאכותית באוניברסיטת בן־גוריון.
bracha.shapira@gmail.com
פרופ' קובי גל

פרופ' קובי גל

פרופסור מן המניין וראש המכון ליסודות הבינה המלאכותית באוניברסיטת בן־גוריון.
kobig@bgu.ac.il