2 papers
cs.SE2026
The Llama 4 Herd: Architecture, Training, Evaluation, and Deployment Notes
Redacted by arXiv
This document consolidates publicly reported technical details about Metas Llama 4 model family. It summarizes (i) released variants (Scout and Maverick) and the broader herd conte…
cs.LO2025
Group Order Logic
Anatole Dahan
We introduce an extension of fixed-point logic () with a group-order operator (), that computes the size of a group generated by a definable set of permu…