Viewing profile — simplegeek

For last few months, whenever I am trying to understand a difficult problem or a concept or addressing a complex issue at work or in relationships, I try to write one page by hand.…

I feel LLMs are indeed getting better at writing models. But, in my experience, they struggle to come up with correct safety and liveness properties unless you closely work with th…

Thanks for doing this. My blog: https://wyounas.github.io . I’ll also try to submit a PR.