BedrockNews

BedrockNews

Ctrl + K
Log In
Community
LLMs Can Fix Isabelle Proofs — But They'll Also Silently Rewrite the Theorem If You Let Them | BedrockNews