Pages
יוני 06, 2016
-
Date:30ראשוןיוני 2024הרצאה
AI Hub Projects Day - Food, drinks and AI solutions!
More information שעה 12:00 - 14:00מיקום אולם ע"ש דולפי ולולה אבנרמרצה The Institute for Artificial Intelligence, Ana Naamat מארגן המחלקה למדעי המחשב ומתמטיקה שימושיתצרו קשר -
Date:30ראשוןיוני 2024הרצאה
Special Guest Seminar
More information שעה 14:00 - 18:30כותרת A Pre-SAAC Symposium on Mathematicsמיקום בניין יעקב זיסקינדמרצה A Pre-SAAC מארגן המחלקה למתמטיקהצרו קשר תקציר Show full text abstract about Alex Furman (University of Illinois) Title: Picking out a...» Alex Furman (University of Illinois)
Title: Picking out arithmetic rank-one locally symmetric manifolds among negatively curved ones
Abstract: The definition of an arithmetic locally symmetric manifold uses the language of algebraic groups and number theory. It turns out that in the world of negatively curved manifolds the arithmetic locally symmetric ones can be detected using abstract commensurators and coarse-geometry. Based on a joint work with Yanlong Hao.
-------
Balint Virag (University of Toronto)
Title: Random plane geometry: a gentle introduction
Abstract: Assign a random length of 1 or 2 to each edge of the square grid based on independent fair coin tosses. The resulting random geometry, first passage percloation, is conjectured to have a scaling limit. Most random plane geometric models (including hidden geometries) should have the same scaling limit. I will explain the basics of the limiting geometry, the "directed landscape", the central object in the class of models named after
Kardar, Parisi and Zhang.
------
Emmanuel Breuillard (University of Oxford)
Title: Undecidable problems in linear groups.
Abstract: The Skolem problem asks to determine whether or not a linear recurrence sequence over the integers has a zero. No algorithm is known to answer this simple question. In this talk I will discuss recent joint work with G. Kocharyan, where we consider a wider class of problems, dealing with finitely generated subgroups of matrices, and show their undecidability.
-------
Omer Angel (University of British Columbia)
Title: Interacting Polya urns.
Abstract: The classical Polya urn has counters X_t,Y_t that are incremented with probability proportional to their current value. I will discuss some of the many generalizations possible when multiple
Polya urns are coupled.
-------
Shmuel Weinberger (University of Chicago)
Title: How existential is topology?
Abstract: Topology proves many things exist -
Date:01שנייולי 2024הרצאה
Midrasha on Groups Seminar
More information שעה 11:15 - 13:00כותרת Random walks on Cayley graphs for finite groupsמיקום בניין יעקב זיסקינדמרצה Dan Rockmore
Dartmouth Collegeמארגן המחלקה למתמטיקהצרו קשר תקציר Show full text abstract about In this talk we introduce the problem of random walks on the...» In this talk we introduce the problem of random walks on the Cayley graph of a finite group, some techniques for its study, and some of the basic results, including numerical experiments. This is a mixture of basic group theory, representation theory, probability theory, and graph theory.
-
Date:01שנייולי 2024הרצאה
Foundations of Computer Science Seminar
More information שעה 11:15 - 12:15כותרת Incompressibility and Next-Block Pseudoentropyמיקום בניין יעקב זיסקינדמרצה Noam Mazor
Cornell Techמארגן המחלקה למדעי המחשב ומתמטיקה שימושיתצרו קשר תקציר Show full text abstract about A distribution is k-incompressible, Yao [FOCS ’82], if no ef...» A distribution is k-incompressible, Yao [FOCS ’82], if no efficient compression scheme compresses it to less than k bits. While being a natural measure, its relation to other computational analogs of entropy such as pseudoentropy (Hastad, Impagliazzo, Levin, and Luby [SICOMP 99]), and to other cryptographic hardness assumptions, was unclear.
We advance towards a better understating of this notion, showing that a k-incompressible distribution has (k-2) bits of next-block pseudoentropy, a refinement of pseudoentropy introduced by Haitner, Reingold, and Vadhan [SICOMP ’13]. We deduce that a samplable distribution X that is (H(X) 2)-incompressible, implies the existence of one-way functions.
Joint work with Iftach Haitner and Jad Silbak.
-
Date:01שנייולי 2024הרצאה
Midrasha on Groups Seminar
More information שעה 14:15 - 16:00כותרת Constructing groups with desired properties using small cancellation methodsמיקום בניין יעקב זיסקינדמרצה Gil Goffer
UCSDמארגן המחלקה למתמטיקהדף בית צרו קשר תקציר Show full text abstract about I’ll discuss various ways to use small cancellation methods ...» I’ll discuss various ways to use small cancellation methods to produce groups with desired properties. In particular, I’ll demonstrate how to construct groups whose semigroup Zariski topology is strictly coarser than their group Zariski topology (answering a question by Elliott, Jonusas, Mesyan, Mitchell, Morayne, and Peresse) -
Date:04חמישייולי 2024הרצאה
MSc Thesis Defense (Direct PhD Track) Lior Peretz (Stelzer Lab)
More information שעה 11:00 - 11:00כותרת Unraveling the Role of the Polycomb Repressive Complex in Gene Regulation During Early Mammalian Embryogenesisמיקום בניין אולמן למדעי החייםמרצה Ms. Lior Peretz
(Dr. Yonatan Stelzer Lab)מארגן המחלקה לביולוגיה מולקולרית של התאצרו קשר -
Date:04חמישייולי 2024הרצאה
Vision and AI
More information שעה 12:15 - 13:15כותרת Recovering the Pre-Fine-Tuning Weights of Generative Modelsמיקום בניין יעקב זיסקינדמרצה Eliahu Horwitz
HUJIמארגן המחלקה למדעי המחשב ומתמטיקה שימושיתצרו קשר תקציר Show full text abstract about The dominant paradigm in generative modeling consists of two...» The dominant paradigm in generative modeling consists of two steps: i) pre-training on a large-scale but unsafe dataset, ii) aligning the pre-trained model with human values via fine-tuning. This practice is considered safe, as no current method can recover the unsafe, pre-fine-tuning model weights. In this paper, we demonstrate that this assumption is often false. Concretely, we present Spectral DeTuning, a method that can recover the weights of the pre-fine-tuning model using a few low-rank (LoRA) fine-tuned models. In contrast to previous attacks that attempt to recover pre-fine-tuning capabilities, our method aims to recover the exact pre-fine-tuning weights. Our approach exploits this new vulnerability against large-scale models such as a personalized Stable Diffusion and an aligned Mistral.
Bio:
Eliahu Horwitz is a PhD candidate in Computer Science at the Hebrew University of Jerusalem, working under the supervision of Prof. Yedid Hoshen. His research area is computer vision, with a focus on representation learning and generative models. Currently, his work revolves around reversing the training trajectories of neural networks.
A recipient of the KLA Scholarship for Outstanding Graduate Students and a CIDR (Center for Interdisciplinary Data Science Research) fellow, Eliahu’s academic achievements are complemented by his practical experience. Before transitioning to research, he honed his skills as a self-taught software developer, working with diverse technologies across the tech stack at both startups and large-scale companies. His latest research can be found on his website: pages.cs.huji.ac.il/eliahu-horwitz.
-
Date:07ראשוןיולי 2024הרצאה
The Clore Center for Biological Physics
More information שעה 13:15 - 14:30כותרת What does the system “care about”? Empirical approaches to identifying biological regulationמיקום ספרית הפיסיקה על שם נלה וליאון בנוזיומרצה Prof. Naama Brenner
Dept. of Chemical Engineering & Network Biology Research Lab, Technionמארגן מרכז לפיזיקה ביולוגית עש קלורצרו קשר תקציר Show full text abstract about Biological systems regulate their action at multiple levels ...» Biological systems regulate their action at multiple levels of organization, from molecular circuits to physiological function. This “homeostasis” maintains stability of the system in the face of external and internal perturbation. How exactly this is achieved remains a topic of ongoing investigation; challenges are high dimensionality, many coupled positive and negative feedback loops, conflicting regulation demands and interaction with the environment.
Here I will introduce an empirical approach to the fundamental question – how do we know what it is that the system really “cares about”? What variable, or combination of variables, is under regulation? Two data-driven methods will be presented. one based on statistical analysis and applied to bacterial growth and division, revealing a hierarchy of regulation – from tightly regulated to sloppy variables. The second is based on a machine-learning algorithm we developed to identify regulation with minimal assumptions. This provides a different angle on the problem and highlights directions for future research.
FOR THE LATEST UPDATES AND CONTENT ON SOFT MATTER AND BIOLOGICAL PHYSICS AT THE WEIZMANN, VISIT OUR WEBSITE: https://www.biosoftweizmann.com/
-
Date:08שנייולי 2024הרצאה
Midrasha on Groups Seminar
More information שעה 11:15 - 13:00כותרת Property testing for group equations and relations to group approximationsמיקום בניין יעקב זיסקינדמרצה Alon Dogon
Weizmannמארגן המחלקה למתמטיקהצרו קשר תקציר Show full text abstract about In this talk we will give an introduction to property testin...» In this talk we will give an introduction to property testing questions in group theory. Property testing problems were mentioned in Alex’s talk, and come up naturally in various branches of theoretical computer science, as well as mathematics and physics. For example, the question of cocycle expansion, “are almost cocycles close to actual cocycles”, is a typical property testing problem. Another example is the following: Given two permutations that commute with high probability on randomly sampled entries, are they close to actual commuting permutations? For groups, here are key notions: Given a group G, it is said to be permutation stable if approximate actions of G on finite sets by permutations are close to actual finite actions of G. G is said to be Hilbert Schmidt stable if the same can be said about approximate finite dimensional representations of G. We will introduce these properties, give a lot of examples and mention connections with the study of characters and invariant random subgroups, as well as the questions of soficity and Connes embeddability of groups.
-
Date:08שנייולי 2024הרצאה
Foundations of Computer Science Seminar
More information שעה 11:15 - 12:15כותרת Quantum Algorithms in a Superposition of Spacetimesמיקום בניין יעקב זיסקינדמרצה Omri Shmueli
Tel-Aviv Universityמארגן המחלקה למדעי המחשב ומתמטיקה שימושיתצרו קשר תקציר Show full text abstract about Quantum computers are expected to revolutionize our ability ...» Quantum computers are expected to revolutionize our ability to process information. The advancement from classical to quantum computing is a product of our advancement from classical to quantum physics -- the more our understanding of the universe grows, so does our ability to use it for computation. A natural question that arises is, what will physics allow in the future? Can more advanced theories of physics increase our computational power, beyond quantum computing?
An active field of research in physics studies theoretical phenomena outside the scope of explainable quantum mechanics, that form when attempting to combine Quantum Mechanics (QM) with General Relativity (GR) into a unified theory of Quantum Gravity (QG). QG is known to present the possibility of a quantum superposition of causal structure and event orderings. In the literature of quantum information theory, this translates to a superposition of unitary evolution orders.
In this talk we will show a first example of a computational model based on models of QG, that provides an exponential speedup over standard quantum computation (under standard hardness assumptions). We define a model and complexity measure for a quantum computer that has the ability to generate a superposition of unitary evolution orders, and show that such computer is able to solve in polynomial time two well-studied problems in computer science: The Graph Isomorphism Problem and the Gap Closest Vector Problem, with gap O( n^{1.5} ).
The talk is based on https://arxiv.org/abs/2403.02937 .
-
Date:08שנייולי 2024הרצאה
Midrasha on Groups Seminar
More information שעה 14:15 - 16:00כותרת Stability, testability, approximation, coboundry expansion and (non)sofic groupsמיקום בניין יעקב זיסקינדמרצה Alex Lubotzky
Weizmannמארגן המחלקה למתמטיקהצרו קשר תקציר Show full text abstract about In this last talk of the seminar, we will pack together all ...» In this last talk of the seminar, we will pack together all the topics discussed over the semester. In particular, we will suggest a path toward finding a non sofic group.
-
Date:09שלישייולי 2024הרצאה
Geometric Functional Analysis and Probability Seminar
More information שעה 10:30 - 12:30כותרת Cohomology of Fuchsian groups and Fourier interpolationמיקום בניין יעקב זיסקינדמרצה Prof. Erez Lapid
Weizmann Instituteמארגן המחלקה למדעי המחשב ומתמטיקה שימושיתצרו קשר תקציר Show full text abstract about In this informal talk we will discuss a recent paper by Math...» In this informal talk we will discuss a recent paper by Mathilde Gerbelli-Gauthier and Akshay Venkatesh that gives a new proof of a Fourier interpolation result first proved by Radchenko-Viazovska, deriving it from a vanishing result of the first cohomology of a Fuchsian group with coefficients in the Weil representation.
-
Date:09שלישייולי 2024הרצאה
This decision, not just the average decision: Factors contributing to one single perceptual judgment
More information שעה 12:30 - 13:30מיקום אולם הרצאות ע"ש גרהרד שמידטמרצה Prof. Mathew E. Diamond
Cognitive Neuroscience, SISSA Trieste, Italyמארגן המחלקה למדעי המוחצרו קשר תקציר Show full text abstract about While cognitive neuroscientists have uncovered principles of...» While cognitive neuroscientists have uncovered principles of perceptual decision-making by analyzing choices and neuronal firing across thousands of trials, we do not yet know the behavioral or neuronal dynamics underlying one SINGLE choice. For instance, why might a subject judge a given stimulus in category A 70% of the time but in category B 30%? Until we can work out precisely what determines single-decisions – this choice, right now – the mechanisms of real-world decision-making will remain unknown. In tactile psychophysical tasks with rats and humans, we are trying to sort out factors that explain the variability in judgments (across trials) to the identical stimulus input. We identify four factors: (i) trial-to-trial fluctuations in sensory coding, (ii) temporal context, namely, the history of preceding stimuli and choices, (iii) attention, and (iv) bias (predictions originating in beliefs about the environment’s probabilistic structure). The strategy is to bring these factors under experimental control, rather than leaving them to vary according to uninterrogated states within the subject. Psychophysics from rats and humans show that large chunks of variability are accounted for by these factors; evidence from cortical neuronal populations in rats provides some mechanistic grounding. -
Date:10רביעייולי 2024הרצאה
ABC CHATS: Noam Solomon-Immunai
More information שעה 14:00 - 15:30כותרת My way from Mathematical research to decoding the immune system with AIמיקום בניין על-שם גרשון ואסתר סאגאןמרצה Noam Solomon
CEO and co-founder of Immunaiצרו קשר -
Date:11חמישייולי 2024הרצאה
Designing Language Models to Think Like Humans
More information שעה 11:00 - 12:00מיקום אולם הרצאות ע"ש גרהרד שמידטמרצה Dr. Chen Shani
Post-doctoral researcher NLP group Stanford Universityמארגן המחלקה למדעי המוחצרו קשר תקציר Show full text abstract about While language models (LMs) show impressive text manipulatio...» While language models (LMs) show impressive text manipulation capabilities, they also lack commonsense and reasoning abilities and are known to be brittle. In this talk, I will suggest a different LMs design paradigm, inspired by how humans understand it. I will present two papers, both shedding light on human-inspired NLP architectures aimed at delving deeper into the meaning beyond words.
The first paper [1] accounts for the lack of commonsense and reasoning abilities by proposing a paradigm shift in language understanding, drawing inspiration from embodied cognitive linguistics (ECL). In this position paper we propose a new architecture that treats language as inherently executable, grounded in embodied interaction, and driven by metaphoric reasoning.
The second paper [2] shows that LMs are brittle and far from human performance in their concept-understanding and abstraction capabilities. We argue this is due to their token-based objectives, and implement a concept-aware post-processing manipulation, showing it matches human intuition better. We then pave the way for more concept-aware training paradigms.
[1] Language (Re)modelling: Towards Embodied Language Understanding
Ronen Tamari, Chen Shani, Tom Hope, Miriam R L Petruck, Omri Abend, and Dafna Shahaf. 2020.
In Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics (ACL), pages 6268–6281, Online. Association for Computational Linguistics.
[2] Towards Concept-Aware Large Language Models
Shani, Chen, Jilles Vreeken, and Dafna Shahaf.
In Findings of the Association for Computational Linguistics: EMNLP 2023, pp. 13158-13170. 2023.
Bio: Chen Shani is a post-doctoral researcher at Stanford's NLP group, collaborating with Prof. Dan Jurafsky. Previously, she pursued her Ph.D. at the Hebrew University under the guidance of Prof. Dafna Shahaf and worked at Amazon Research. Her focus lies at the intersection of humans and NLP, where she implements insights from human cognition to improve NLP systems.
-
Date:11חמישייולי 2024הרצאה
Vision and AI
More information שעה 12:15 - 13:15כותרת Deep Learning on a Budgetמיקום בניין יעקב זיסקינדמרצה Daphna Weinshall
HUJIמארגן המחלקה למדעי המחשב ומתמטיקה שימושיתצרו קשר תקציר Show full text abstract about Currently, the most effective deep learning methods heavily ...» Currently, the most effective deep learning methods heavily rely on the availability of a large corpus of annotated data. However, such resources are not always accessible. In this seminar, I will discuss alternative paradigms that aim to make better use of both labelled and unlabelled data, drawing inspiration from certain properties of human learning. I will begin by describing our recent work on active learning, continual learning, and learning with label noise. If time permits, I will also discuss some new insights about local overfitting, which can occur even when overfitting (as traditionally defined)is not observed.
-
Date:11חמישייולי 2024הרצאה
זרקור על מדע
More information שעה 13:00 - 14:00כותרת TBAמיקום אולם הרצאות ע"ש גרהרד שמידטמרצה Yael Eshed Eisenbach
Dr.מארגן יחידת שוהם במכון דוידסוןצרו קשר -
Date:11חמישייולי 2024הרצאה
Ubiquitin, cell identity and cancer
More information שעה 14:00 - 15:00מיקום בניין ע"ש מקס ולילאן קנדיוטימרצה Prof. Amir Orian MD/PhD
Head of the Ruth and Stan Flinkman Genetic Networks Laboratory at the Bruce and Ruth Rappaport Cancer Center (RTICC) and the Technion Faculty of Medicineמארגן המכון לחקר הטיפול בסרטן עש דואקצרו קשר -
Date:11חמישייולי 2024הרצאה
Seminar for MSc thesis defense
More information שעה 15:00 - 15:00כותרת Uncovering a new targeting pathway for endoplasmic reticulum resident protein using whole-genome screensמיקום Koshland roomמרצה Shani Ravid מארגן המחלקה לגנטיקה מולקולריתצרו קשר -
Date:11חמישייולי 2024הרצאה
To be announced
More information שעה 15:00 - 16:00מיקום בניין לביוכימיה על שם נלה וליאון בנוזיומרצה Prof. Leeya Engel
Faculty of Mechanical Engineering - Technionמארגן המחלקה למדעים ביומולקולרייםצרו קשר
