Tau CS-system (Official video channel)
Tau CS-system (Official video channel)
  • 90
  • 12 996
Dr. Yossi Gandelsman - Interpreting the Inner Workings of Vision Models
In this talk, I present an approach for interpreting the internal computation in deep vision models. I show that these interpretations can be used to detect model bugs and to improve the performance of pre-trained deep neural networks (e.g., reducing hallucinations from image captioners and detecting and removing spurious correlations in CLIP) without any additional training. Moreover, the obtained understanding of deep representations can unlock new model capabilities (e.g., novel identity editing techniques in diffusion models and faithful image inversion in GANs). I demonstrate how to find common representations across different models (discriminative and generative) and how deep representations can be adapted at test-time to improve model generalization without any additional supervision. Finally, I discuss future work on improving the presented interpretation techniques and their application to continual model correction and scientific discovery.
Переглядів: 10

Відео

Dr. Lee Chohen - Aligning Machine Learning with Society
Переглядів 4616 годин тому
Machine Learning (ML) systems are increasingly integrated into society, but challenges arise when human incentives and expectations are overlooked. In this talk, I will present frameworks for aligning ML with society, focusing on strategic classification and personalization in decision making. Strategic classification models scenarios where individuals, aware of the deployed classifier, manipul...
Dr. Or Patashnik - Leveraging Pretrained Generative Models for Real Image Editing
Переглядів 10114 днів тому
Image generative models are advancing rapidly, producing images of remarkable realism and fidelity. However, existing models often lack precise control over the generated content, limiting their image editing capabilities and the integration of real content into synthesized imagery. In this talk, I will demonstrate how a deep understanding of the inner mechanisms of large-scale pretrained gener...
Dr. Noam mazor - Computational Analogs of Randomness
Переглядів 10214 днів тому
Computational analogs of information-theoretic notions have given rise to some of the most intriguing phenomena in theoretical computer science. For example, pseudorandomness allows us to bypass Shannon's lower bounds on the key length of encryption schemes. Moreover, computational analogs of entropy and randomness are key tools in the construction of pseudorandom generators and have become fou...
Dr. Yanai Elazar - Understanding Generative Models Inside Out: From Representation to Data
Переглядів 11021 день тому
Generative models, such as ChatGPT and DALL-E, are used by millions of people daily for tasks ranging from programming and content creation to resume filtering. These models often create the impression of being “intelligent,” which can incentivize careless use in critical applications. While generative models are empowering, they appear to be black boxes, and their misuse can result in harmful ...
Dr. Lior Rotem - How to Limit, Spread, and Eliminate Trust
Переглядів 13528 днів тому
These are exciting times in cryptography, where foundational technological shifts are introducing new security challenges and demanding novel cryptographic solutions. In this talk, I will focus on one such paradigm shift: the ongoing effort to restructure trust on the internet, in response to its increasing centralization. Every day, we entrust a handful of service providers with sensitive aspe...
Dr. Assaf Shocher - Make NNS Linear Again Projection and Beyond
Переглядів 55Місяць тому
Every day, somewhere, a researcher mutters, “If only neural networks were linear, this problem would be solved”. Linear operations offer powerful tools: projection onto subspaces, eigen decomposition, and more. This talk explores their equivalents in the non-linear world of neural networks, with a special focus on projection, generalized by idempotent operators- operators that satisfy f(f(x)) =...
Dr. Leshem Choshen - Communal AI - Open, Collaborative & Accessible LLMs
Переглядів 58Місяць тому
Developing better Language Models would benefit a myriad of communities. However, it is prohibitively costly. The talk would describe collaborative approaches to pretraining such as model merging, continue to efficient evaluation to reduce overheads and touch on other accessible and collaborative aspects that best harness the expertise and diversity in Academia.
Dr. Tomer Ezra on Algorithmic Contract Design
Переглядів 75Місяць тому
We explore the framework of contract design through a computational perspective. Contract design is a fundamental pillar of microeconomics, addressing the essential question of how to incentivize individuals effectively. The significance of contract design was acknowledged by the Nobel Prize awarded to Hart and Holmström, and it applies to various real-life scenarios, such as determining bonuse...
Quantification and Visualization of Uncertainty in Imaging Inverse Problems -Tomer Michaeli .
Переглядів 655 місяців тому
Uncertainty quantification and visualization is crucial for the deployment of image restoration models in safety-critical domains, like biological and medical imaging. To date, methods for visualizing uncertainty have mainly focused on per-pixel estimates, which provide limited information. In this talk I will present methods that can generate significantly more meaningful visualizations of unc...
Dor Minzer - Recent Developments in PCPs
Переглядів 1015 місяців тому
The PCP Theorem is a cornerstone of computer science, with applications in hardness of approximation, verification, interactive protocols and more. It asserts a witness for the satisfiability of a given 3CNF formula can be encoded in a robust way that allows local checking. In this talk, we discuss recent developments in PCPs, and in particular: (1) constructions that achieve optimal tradeoff b...
Oded Margalit - Riddles for Fun and Profit(?)
Переглядів 526 місяців тому
We'll start with a definition of a riddle, discuss the nature of riddles and their applications across various fields. By examining specific examples, we will demonstrate how riddles can be powerful tools for enhancing learning, fostering creativity, and solving real life problems. Join us to discover the intriguing ways riddles can be integrated into educational programs, chip design processes...
Yedid Hoshen - What Can Darwin’s Tree of Life Tell Us About Neural Networks?
Переглядів 697 місяців тому
Thousands of new neural network models are uploaded every day to online repositories such as Hugging Face, the number of available models should cross 1 million by the end of 2024. These numbers lead us to hypothesize that models are emerging as a major data modality. However, differently from images or audio, researchers do not know how to interpret neural network weights; in practice model co...
AI Safety and Theoretical Computer Science - Scott Aaronson (UT Austin and OpenAI)
Переглядів 2427 місяців тому
Progress on AI safety andalignment, like the current AI revolution more generally, has been almostentirely empirical. In this talk, however, I'll survey a few areas whereI think theoretical computer science can contribute to AI safety, including: - How can we robustlywatermark the outputs of Large Language Models and other generative AI systems,to help identify academic cheating, deepfakes, and...
Ronitt Rubinfeld, MIT - Distribution Testing via Learning (and Learning via Testing!)
Переглядів 17510 місяців тому
Abstract: Algorithms for understanding data generated from distributions over large discrete domains are of fundamental importance. In this talk, we consider the sample complexity of *property testing algorithms* that seek to to distinguish whether or not an underlying distribution satisfies such properties as uniformity, independence, convexity, log-concavity, heavy-tailed, and approximability...
Ran Canetti, Boston University - Can cryptographic algorithms affect legal doctrines?
Переглядів 6111 місяців тому
Ran Canetti, Boston University - Can cryptographic algorithms affect legal doctrines?
Explanation: a survey - joe Halpern Cornell university
Переглядів 7211 місяців тому
Explanation: a survey - joe Halpern Cornell university
Prof. Joseph Halpern - A Causal Analysis of Harm
Переглядів 9111 місяців тому
Prof. Joseph Halpern - A Causal Analysis of Harm
Prof. Joseph Halpern - Computer Science Department Cornell University"ACTUAL CAUSALITY: A SURVEY"
Переглядів 18911 місяців тому
Prof. Joseph Halpern - Computer Science Department Cornell University"ACTUAL CAUSALITY: A SURVEY"
Yaniv David - Challenges and Opportunities In Securing Software Supply Chains
Переглядів 5011 місяців тому
Yaniv David - Challenges and Opportunities In Securing Software Supply Chains
Gal Vardi - On Implicit Bias and Benign Overfitting in Neural Networks
Переглядів 130Рік тому
Gal Vardi - On Implicit Bias and Benign Overfitting in Neural Networks
Kehn Elimelech - Scaling-Up Planning for Long-Lived Autonomous Robots
Переглядів 100Рік тому
Kehn Elimelech - Scaling-Up Planning for Long-Lived Autonomous Robots
From Stochastic to Deterministic: SGD dynamics on GLMs and multi-index models in high dimensions
Переглядів 255Рік тому
From Stochastic to Deterministic: SGD dynamics on GLMs and multi-index models in high dimensions
Amir Feder - Causally driven-ML for Text
Переглядів 314Рік тому
Amir Feder - Causally driven-ML for Text
MOR GEVA: Reverse-Engineering Language Models for Interpretability, Control, and Efficiency.
Переглядів 641Рік тому
MOR GEVA: Reverse-Engineering Language Models for Interpretability, Control, and Efficiency.
Dr. Omri Ben-Eliezer - Fast Algorithms and Complex Environments
Переглядів 972 роки тому
Dr. Omri Ben-Eliezer - Fast Algorithms and Complex Environments
Dr. Or Zamir - Algorithmic Applications of Hypergraph and Partition Containers
Переглядів 2012 роки тому
Dr. Or Zamir - Algorithmic Applications of Hypergraph and Partition Containers
Dr. Sagie Benaim - Towards a Controllable Generation of the 3D World
Переглядів 2372 роки тому
Dr. Sagie Benaim - Towards a Controllable Generation of the 3D World
יובל ללימודי מדעי המחשב באוניברסיטת תל אביב- פרופ' סיון טולדו ראש בית הספר למדעי המחשב ע"ש בלווטניק
Переглядів 1122 роки тому
יובל ללימודי מדעי המחשב באוניברסיטת תל אביב- פרופ' סיון טולדו ראש בית הספר למדעי המחשב ע"ש בלווטניק
Dr. Brit Youngman - Data Tools for Accelerated Scientific Discoveries
Переглядів 1922 роки тому
Dr. Brit Youngman - Data Tools for Accelerated Scientific Discoveries