3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.CR2025
Sockeye: Bug-finding and proofs for platform configurations and hardware based on reference manuals
Ben Fiedler, Samuel Gruetter, Sedan Abdelgawad +8
The ever increasing complexity of hardware platforms poses a challenge to systems programmers. Correctly programming a multitude of components, providing functionality and security…
cs.CL2024★ 3 cited
Rel-A.I.: An Interaction-Centered Approach To Measuring Human-LM Reliance
Kaitlyn Zhou, Jena D. Hwang, Xiang Ren +3
The ability to communicate uncertainty, risk, and limitation is crucial for the safety of large language models. However, current evaluations of these abilities rely on simple cali…