Search papers, labs, and topics across Lattice.
18 papers published across 1 lab.
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.
Initial evidence is provided that greCAPTCHA can assess manuscript-specific understanding under proctored conditions and the appropriate construct validity for author understanding is remarked on, while also suggesting important changes to be made before deployment.
The results suggest that, for large digital libraries and archives, retrieval accountability and corpus-aware agent design can provide a practical alternative to heavier training-based or graph-construction approaches.
It is demonstrated that gradient-based attribution methods track format similarity more than task semantics, meaning that such methods, as well as the semantic interpretation of the gradient, should be tested on data where answer format and task vary independently for greater robustness and reliability.
This work audits five LLM overseers on 19 compliance tasks, varying only trace detail and evidence labeling, finding that elaborate traces shift the decision criterion toward rejection, increasing false alarms in susceptible overseers.
