- 87
- 12 544
Tau CS-system (Official video channel)
Israel
เข้าร่วมเมื่อ 11 ม.ค. 2018
Welcome to the official TAU-CS VIDEO channel
subscribe and rate!
subscribe and rate!
Dr. Noam mazor - Computational Analogs of Randomness
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 foundational concepts in complexity theory and cryptography.
One such computational analog is time-bounded Kolmogorov complexity. This measure lies at the heart of the emerging connections between cryptography and Kolmogorov complexity. Despite its significance, fundamental questions about the hardness of computing this measure remain open. In this talk, we will explore these questions together with recent advancements. We will also discuss how understanding the computational hardness of meta-complexity problems is instrumental in characterizing the existence of cryptographic primitives.
One such computational analog is time-bounded Kolmogorov complexity. This measure lies at the heart of the emerging connections between cryptography and Kolmogorov complexity. Despite its significance, fundamental questions about the hardness of computing this measure remain open. In this talk, we will explore these questions together with recent advancements. We will also discuss how understanding the computational hardness of meta-complexity problems is instrumental in characterizing the existence of cryptographic primitives.
มุมมอง: 46
วีดีโอ
Dr. Yanai Elazar - Understanding Generative Models Inside Out: From Representation to Data
มุมมอง 8416 ชั่วโมงที่ผ่านมา
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
มุมมอง 104วันที่ผ่านมา
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
มุมมอง 4114 วันที่ผ่านมา
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
มุมมอง 4614 วันที่ผ่านมา
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
มุมมอง 6121 วันที่ผ่านมา
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 .
มุมมอง 565 หลายเดือนก่อน
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
มุมมอง 925 หลายเดือนก่อน
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(?)
มุมมอง 475 หลายเดือนก่อน
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?
มุมมอง 646 หลายเดือนก่อน
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)
มุมมอง 2377 หลายเดือนก่อน
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!)
มุมมอง 17410 หลายเดือนก่อน
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?
มุมมอง 6010 หลายเดือนก่อน
Legal principles and doctrines are the pillars of modern society. It is tempting to believe that, while specific laws and regulations adapt to the technology of the time, the basic legal doctrines remain unchanged - and guide us in regulating and harnessing technology. This talk will present situations where technological feasibility, accompanied with theory-of-computation reasoning, impacts no...
Explanation: a survey - joe Halpern Cornell university
มุมมอง 6810 หลายเดือนก่อน
Explanation: a survey - joe Halpern Cornell university
Prof. Joseph Halpern - A Causal Analysis of Harm
มุมมอง 8410 หลายเดือนก่อน
Prof. Joseph Halpern - A Causal Analysis of Harm
Prof. Joseph Halpern - Computer Science Department Cornell University"ACTUAL CAUSALITY: A SURVEY"
มุมมอง 18511 หลายเดือนก่อน
Prof. Joseph Halpern - Computer Science Department Cornell University"ACTUAL CAUSALITY: A SURVEY"
Yaniv David - Challenges and Opportunities In Securing Software Supply Chains
มุมมอง 4711 หลายเดือนก่อน
Yaniv David - Challenges and Opportunities In Securing Software Supply Chains
Gal Vardi - On Implicit Bias and Benign Overfitting in Neural Networks
มุมมอง 12311 หลายเดือนก่อน
Gal Vardi - On Implicit Bias and Benign Overfitting in Neural Networks
Kehn Elimelech - Scaling-Up Planning for Long-Lived Autonomous Robots
มุมมอง 9711 หลายเดือนก่อน
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
มุมมอง 253ปีที่แล้ว
From Stochastic to Deterministic: SGD dynamics on GLMs and multi-index models in high dimensions
Amir Feder - Causally driven-ML for Text
มุมมอง 304ปีที่แล้ว
Amir Feder - Causally driven-ML for Text
MOR GEVA: Reverse-Engineering Language Models for Interpretability, Control, and Efficiency.
มุมมอง 627ปีที่แล้ว
MOR GEVA: Reverse-Engineering Language Models for Interpretability, Control, and Efficiency.
Dr. Omri Ben-Eliezer - Fast Algorithms and Complex Environments
มุมมอง 96ปีที่แล้ว
Dr. Omri Ben-Eliezer - Fast Algorithms and Complex Environments
Dr. Or Zamir - Algorithmic Applications of Hypergraph and Partition Containers
มุมมอง 1952 ปีที่แล้ว
Dr. Or Zamir - Algorithmic Applications of Hypergraph and Partition Containers
Dr. Sagie Benaim - Towards a Controllable Generation of the 3D World
มุมมอง 2352 ปีที่แล้ว
Dr. Sagie Benaim - Towards a Controllable Generation of the 3D World
יובל ללימודי מדעי המחשב באוניברסיטת תל אביב- פרופ' סיון טולדו ראש בית הספר למדעי המחשב ע"ש בלווטניק
มุมมอง 1122 ปีที่แล้ว
יובל ללימודי מדעי המחשב באוניברסיטת תל אביב- פרופ' סיון טולדו ראש בית הספר למדעי המחשב ע"ש בלווטניק
Dr. Brit Youngman - Data Tools for Accelerated Scientific Discoveries
มุมมอง 1902 ปีที่แล้ว
Dr. Brit Youngman - Data Tools for Accelerated Scientific Discoveries
50 שנות מדעי המחשב באוניברסיטת תל אביב- סירטון הבוגרים
มุมมอง 2392 ปีที่แล้ว
50 שנות מדעי המחשב באוניברסיטת תל אביב- סירטון הבוגרים
Dr. Yoav Levine -Theoretical & practical principles for designing, training, & deploying huge langu.
มุมมอง 3302 ปีที่แล้ว
Dr. Yoav Levine -Theoretical & practical principles for designing, training, & deploying huge langu.
Appreciate the detailed breakdown! I have a quick question: My OKX wallet holds some USDT, and I have the seed phrase. (alarm fetch churn bridge exercise tape speak race clerk couch crater letter). Could you explain how to move them to Binance?
Wonderful talk
Awesome educational material! thanks for posting this.
מצגת חשובה מאוד, תודה רבה. כדאי להעביר אותה גם לשנה ב' ו-ג' ולהקדיש כמה דקות בכל תחילת קורס חובה לעקרונות שמוצגים כאן (קל לשכוח אותם עם כל הקשיים והאתגרים). לא הוזכר שלכל סטודנט/ית סגנון לימוד ייחודי. ההרצאות לא תמיד תואמות את סגנון הלימוד (מתאימות בעיקר לסגנון לימוד שמיעתי ופחות לסגנון לימוד חזותי ותנועתי) וכך נוצרים תסכול וחוסר בטחון אצל הסטודנטים והסטודנטיות. כדי שהסטודנטים והסטודנטיות יכירו בזה, וגם שהמרצים והמרצות יכירו בזה. העצה של "אל תעבדו במקביל ללימודים" היא לעג לרש. זאת לא ציפייה לגיטימית. אפשר להכין מראש תוכנית לימודים שלוקחת 3.5-4 שנים במקום להמליץ לפרוש את התואר. ההערה של קשה רגשית לקבל ציון נמוך- ההערות בבדיקות של המבחנים/מטלות לא תמיד מכבדות את הסטודנטים/ות ואת ההשקעה שלהם/ן. בנוסף הן לא עולות בקנה אחד עם מה שכתוב במצגת ("גם הישגים שמתחת לממוצע כאן הם הישגים טובים... " וכו'). חבל שאין תוכנית לעידוד מצוינות שמתאימה גם לכאלה עם ציונים נמוכים. הכוונה לתוכנית שתעזור לסטודנטים לשפר את הישגיהם ולעזור לשאר הסטודנטים/ות.
אלופה ❤️
44:03 Does T = M?
37:32 Why the noise space has a semantic meaning? As far as I understood, in stage 2 we map (1) a noise space distribution, to (2) the latent space distribution that has been created by the GLO in stage 1 (as described earlier, with the same slide). It was mentioned that (2) doesn't have a nice semantic property (i.e. we don't expect that interpolation of two latent codes in (2) will be generated via the GLO generator to an image that looks like a good semantic interpolation of two different images).
You know them by their fruits, which is painfully limiting, given the variability of input. Could you accuse an AI of dumbing people down? Let this be known. It was humans who asked for this argument. Not the AI.