正在加载视频...

视频加载失败

加载此视频时出现问题。这可能是由于临时网络问题，或视频可能不可用。

Introducing the Ndea podcast - Abstract Synthesis. Hear the stories behind interesting academic papers in the world of program synthesis. Episode 1 features Mark Santolucito, Barnard College/Columbia University, discussing his paper "Grammar Filtering for Syntax-Guided Synthesis".

Ndea

10,801 subscribers

15,917 次观看 • 6 个月前 •via X (Twitter)

Anya Rossi• Live Now

Private livecam show

0 条评论

暂无评论

原始帖子的评论将显示在这里

相关视频

On the pod: our most-requested guest! Kevin Ellis from Cornell University shares the origins of his influential neurosymbolic paper "DreamCoder". Plus: program synthesis, wake-sleep library learning, world models, running an AI research lab, and more.

On the pod: our most-requested guest! Kevin Ellis from Cornell University shares the origins of his influential neurosymbolic paper "DreamCoder". Plus: program synthesis, wake-sleep library learning, world models, running an AI research lab, and more.

Ndea

26,937 次观看 • 3 个月前

Vision-language models (VLMs) can see well, but they struggle to reason. In this episode, Antonia Wüst (PhD researcher, TU Darmstadt) explains how combining VLMs with program synthesis yields more reliable visual reasoning, with fewer tokens than chain-of-thought.

Vision-language models (VLMs) can see well, but they struggle to reason. In this episode, Antonia Wüst (PhD researcher, TU Darmstadt) explains how combining VLMs with program synthesis yields more reliable visual reasoning, with fewer tokens than chain-of-thought.

Ndea

22,130 次观看 • 5 个月前

Synthesis mentioned on Diary of a CEO podcast with Steven Bartlett. Love to hear these stories about students enjoying working with the Tutor.

Synthesis mentioned on Diary of a CEO podcast with Steven Bartlett. Love to hear these stories about students enjoying working with the Tutor.

Chrisman

15,462 次观看 • 1 年前

introducing Synthesis public beta trade the moment

introducing Synthesis public beta trade the moment

Synthesis

178,719 次观看 • 6 个月前

This is François Chollet discussing deep learning guided program synthesis, reasoning, o-series models and the ARC challenge. We will drop the full video hopefully later today!

This is François Chollet discussing deep learning guided program synthesis, reasoning, o-series models and the ARC challenge. We will drop the full video hopefully later today!

Machine Learning Street Talk

171,869 次观看 • 1 年前

the synthesis is coming.

the synthesis is coming.

synthesis

107,135 次观看 • 4 个月前

WORDS TO PONDER. We are spending a fortune in this country and in other countries toward developing the best AI in the world. Do you know the difference between 'Abstract Synthesis' and 'Concrete Synthesis'? We are in an AI bubble - Are the braniacs creating problems for us in reality with all the DATA CENTERS? Are these centers going to become useless very quickly? IS he right?

WORDS TO PONDER. We are spending a fortune in this country and in other countries toward developing the best AI in the world. Do you know the difference between 'Abstract Synthesis' and 'Concrete Synthesis'? We are in an AI bubble - Are the braniacs creating problems for us in reality with all the DATA CENTERS? Are these centers going to become useless very quickly? IS he right?

BelannF

41,748 次观看 • 1 个月前

New paper: World models + Program synthesis by Wasu Top Piriyakulkij 1. World modeling on-the-fly by synthesizing programs w/ 4000+ lines of code 2. Learns new environments from minutes of experience 3. Positive score on Montezuma's Revenge 4. Compositional generalization to new environments [1/n]

New paper: World models + Program synthesis by Wasu Top Piriyakulkij 1. World modeling on-the-fly by synthesizing programs w/ 4000+ lines of code 2. Learns new environments from minutes of experience 3. Positive score on Montezuma's Revenge 4. Compositional generalization to new environments [1/n]

Kevin Ellis

58,456 次观看 • 1 年前

The "welcoming educational environment" at Columbia University and Barnard College.

The "welcoming educational environment" at Columbia University and Barnard College.

Documenting Jew Hatred on Campus at Columbia U

4,467,421 次观看 • 2 年前

For our next Mr. Bill Podcast, we have Steve Duda, owner of XFer Records & creator of Serum. We're excited to explore his latest—Serum 2, a next-generation synthesis engine, out now. Head to for the full episode.

For our next Mr. Bill Podcast, we have Steve Duda, owner of XFer Records & creator of Serum. We're excited to explore his latest—Serum 2, a next-generation synthesis engine, out now. Head to for the full episode.

Mr. Bill

54,448 次观看 • 1 年前

Carbamate Synthesis ⚗️

Carbamate Synthesis ⚗️

Maciek Majdecki

13,344 次观看 • 8 个月前

tn-shi - Synthesis.

tn-shi - Synthesis.

60秒ハードキックbot

85,706 次观看 • 4 个月前

Synthesis. tn-shi

Synthesis. tn-shi

30秒音ゲー曲bot

110,237 次观看 • 1 年前

This 🌎 #EarthDay2023, watch 🎥 #IPCC Chair Hoesung Lee & scientists behind our latest #ClimateReport, #ClimateChange 2023: Synthesis Report share their messages for the world. Read the report ➡️

This 🌎 #EarthDay2023, watch 🎥 #IPCC Chair Hoesung Lee & scientists behind our latest #ClimateReport, #ClimateChange 2023: Synthesis Report share their messages for the world. Read the report ➡️

IPCC

70,096 次观看 • 3 年前

Image & video synthesis struggle with the scale of truly large 3D scenes. mschneider456 presents a geometry-first approach : - structure first: mesh scaffold defining the scene - then appearance: mesh-conditioned image synthesis Check it out:

Image & video synthesis struggle with the scale of truly large 3D scenes. mschneider456 presents a geometry-first approach : - structure first: mesh scaffold defining the scene - then appearance: mesh-conditioned image synthesis Check it out:

Angela Dai

19,512 次观看 • 3 个月前

The Surprising Performance Drivers of HRM. A paper talk from Ndea AI researcher Konstantin Schürholt. We ran a series of ablation studies to determine what factors had the biggest impact on the Hierarchical Reasoning Model's performance on ARC-AGI.

The Surprising Performance Drivers of HRM. A paper talk from Ndea AI researcher Konstantin Schürholt. We ran a series of ablation studies to determine what factors had the biggest impact on the Hierarchical Reasoning Model's performance on ARC-AGI.

Ndea

29,217 次观看 • 10 个月前

VSTAR Generative Temporal Nursing for Longer Dynamic Video Synthesis Despite tremendous progress in the field of text-to-video (T2V) synthesis, open-sourced T2V diffusion models struggle to generate longer videos with dynamically varying and evolving content. They tend to

VSTAR Generative Temporal Nursing for Longer Dynamic Video Synthesis Despite tremendous progress in the field of text-to-video (T2V) synthesis, open-sourced T2V diffusion models struggle to generate longer videos with dynamically varying and evolving content. They tend to

AK

36,982 次观看 • 2 年前

Novel view synthesis has long been a core challenge in 3D vision. But how much 3D inductive bias is truly needed? —Surprisingly, very little! Introducing "LVSM: A Large View Synthesis Model with Minimal 3D Inductive Bias"—a fully transformer-based approach that enables scalable, generalizable, and fully data-driven novel view synthesis, from sparse posed inputs. 🧵(1/6) Project Page:

Novel view synthesis has long been a core challenge in 3D vision. But how much 3D inductive bias is truly needed? —Surprisingly, very little! Introducing "LVSM: A Large View Synthesis Model with Minimal 3D Inductive Bias"—a fully transformer-based approach that enables scalable, generalizable, and fully data-driven novel view synthesis, from sparse posed inputs. 🧵(1/6) Project Page:

Haian Jin

114,757 次观看 • 1 年前