Remix.run Logo
mamami 38 minutes ago

Natural language is a lot more, well, readable than say lean. You get a lot less intuition and understanding of what the model is attempting to do in the first place.