This is my understanding, yes you can eat at La Veranda on formal nights without being formal. But, after 6 pm, the rest of the ship is formal, including the lounges. So you need to sneek up to La Veranda in your informal/elegant casual wear and then back to your cabin after dinner, silly but true. This was my recent experience on Mariner.