MR-BEN: Um Benchmark Abrangente de Meta-Raciocínio para Grandes Modelos de Linguagem | Synapse