arXiv2
Search
Dark
/ Date
/ Name
Aa
W
/ Date
/ Name
"au:"Samuel Gruetter"" — arXiv2 Search
Showing 1–4 of 4 results
/ Date
/ Name
Apr 1, 2021
Flexible Instruction-Set Semantics via Type Classes
Oct 31, 2025
Sockeye: a language for analyzing hardware documentation
Jun 9, 2022
Beyond the Imitation Game: Quantifying and extrapolating the capabilities of language models
Sep 15, 2017
VST-Flow: Fine-grained low-level reasoning about real-world C code