Students try Jev decision models on SREGym
A researcher discusses decision models for lightweight formal methods and SRE, noting students have tried Jev on the SREGym benchmark and written up their experience in blog posts.
Orz. Such a burst of great ideas! Thank you, @Manjusaka_Lee ! On formal methods. Yes! I truly believe fast, lightweight formal methods would help agents greatly. See the TLA+ skills in @poteto 's pstack and the experience from @bcherny. It's not going to be end-to-end iron proofs, but it helps agents produce better code. On decision models. I love decision models. I've heard people have customized #Specula using decision models to achieve cheap and fast TLA+ MC, though I haven't found time to figure that out. The students have tried Jev and decision models on #SREGym and shared their experience in a few blog posts (https://www.sregym.com/blog). I know the benchmark isn't close to real SRE, but some ideas might apply. I love the idea of using decision models for proactive techniques and the idea of RLCD for SRE! @SaadMRP @YukunHeZS @Yiming_Su3 @HacksonClark
This post quotes another post: x.com/manjusaka_lee/status/2113901064064000100