at://
/
app.bsky.feed.post
/
3mnf5futc2k26
sign in
All
4
Record
2
Post
1
PostEmbed
1
Post
by @danabra.mov
PostEmbed
by @danabra.mov
Record
by @jimpick.com
Record
by @atsui.org
+ new component
Post
The afternoon session on day 2 started with an introduction to symmetric circuits and lower bound techniques for these by Anuj Dawar. The symmetric model is one of the rare models that distinguishes the non-identical twins Det and Perm.
12d
Nutan Limaye
