Eric Pang @_eric_pang_

math/cs @uwaterloo | prev: ml @quora, @amazon San Francisco, CA Joined June 2020

Tweets

92
Followers

86
Following

544
Likes

7K

Criterion Collection @Criterion

4 months ago

A CONFUCIAN CONFUSION / MAHJONG: TWO FILMS BY EDWARD YANG • Coming to Criterion in August! criterion.com/boxsets/8199-a… In this pair of sharp, sprawling satires, one of Taiwan’s most celebrated filmmakers captures the anything-can-happen mood of Taipei at the end of the twentieth…

12 173 1K 326K 259

Download Image

Sakana AI @SakanaAILabs

4 months ago

Introducing Continuous Thought Machines New Blog: sakana.ai/ctm/ Modern AI is powerful, but it’s still distinct from human-like flexible intelligence. We believe neural timing is key. Our Continuous Thought Machine is built from the ground up to use neural dynamics as…

37 289 1K 269K 799

Download Video

Eric Pang @_eric_pang_

4 months ago

Re: Gödel's incompleteness theorems

Rob Henderson @robkhenderson

3 years ago

Re: Gödel's incompleteness theorems

3 82 511 0 89

Download Image

0 0 0 46 0

Eric Pang @_eric_pang_

4 months ago

This is true but Meta doesn't hate it as long as you are still watching reels (and hence the ads)

signüll @signulll

4 months ago

This is true but Meta doesn't hate it as long as you are still watching reels (and hence the ads) https://t.co/Y1SJEAg9re

147 231 6K 366K 640

0 0 2 102 0

Download Image

Eric Pang @_eric_pang_

10 months ago

We live in a post-moneyball world now

0 0 0 61 0

Matt Bateman @mbateman

10 months ago

The French Polymarket whale commissioned polls with a specific alternate methodology, the “neighbor method” 1. What a baller 2. What a killer example of how betting markets can surface contrarian, high quality signals

170 2K 13K 2.4M 5K

Download Image

Mehrdad Farajtabar @MFarajtabar

11 months ago

1/ Can Large Language Models (LLMs) truly reason? Or are they just sophisticated pattern matchers? In our latest preprint, we explore this key question through a large-scale study of both open-source like Llama, Phi, Gemma, and Mistral and leading closed models, including the…

225 1K 5K 1.6M 5K

Download Image

Prof. Anima Anandkumar @AnimaAnandkumar

11 months ago

Announcing LeanAgent: the first life-long learning agent for formal theorem proving in Lean. LLMs have been integrated with interactive proof assistants like Lean for theorem proving with 100% accuracy. So far, these LLMs are static, cannot learn new knowledge online, and…