11–15 of 15 posts
I wonder what other optimization+verification problems are out there that will make good LLM feedback loops.
Maybe something with query planners.
Neat, but I feel like you need to define "circuit" on that page! I thought this was like for silicon design or something.
someone named "zrschresearch" is cheating. looks like they found a way to only measure cost on specific best case inputs where its trivially 0. its using a correct implementation so the proof checks out but the cost is obviously fake.