Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
11 papers published across 0 labs.
This paper argues that reactive oversight must be complemented by an anticipatory mode: oversight exercised before the agent acts, by specifying the normative agenda that structures the space of permissible action and refining it iteratively through specification, runtime, and inspection.
This chapter introduces the concept of the Anthropocene into critical data studies and explores how the infrastructure of contemporary datafication intersects with existing power structures, influencing which social and environmental consequences are recognized, addressed, and neglected.
Lara, a machine-checkable language and protocol for checking and revising support for research claims, is introduced, and the metatheory of claim checking and cross-context argument transport is established, and semantic guarantees in Lean 4 are mechanized.