Hanlin Ren
@h4n1in.bsky.social
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)
April 5, 2025 at 5:36 PM
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)