Yeyuan is amazing ๐
1 year ago
1
0
0
0
Yeyuan is amazing ๐
Such a venue would also encourage "hardcore" lower bound provers to tackle difficult problems without the pressure of only publishing successes. Let's make failure more visible and more valuable! (2/2)
Random thought: Complexity theorists need a conference like #CFAIL for failed lower bound attempts. Proving lower bounds is notoriously hard, so why not share our failed ideas to help others avoid dead ends and spark new approaches? (1/2)