We systematically survey the literature and conduct expert studies to create a mechanistic, two-tier rubric for selecting the most appropriate formal language for a given problem, based on must-have properties and good-to-have rankings.
Dates: October 2026 – Present
