paper_type.json (275B)
1 { 2 "paper_type": "theoretical", 3 "reason": "Establishes exact characterizations of masked hard-attention transformers through formal language theory, proving they recognize precisely the star-free languages through mathematical analysis rather than empirical evaluation." 4 }