8 citations · 8 across the 2 of their papers we have counts for
2 papers
cs.CR2024
SecEncoder: Logs are All You Need in Security
Muhammed Fatih Bulut, Yingqi Liu, Naveed Ahmad +4
Large and Small Language Models (LMs) are typically pretrained using extensive volumes of text, which are sourced from publicly accessible platforms such as Wikipedia, Book Corpus,…
cs.PL2021★ 8 cited
Dependent Type Systems as Macros
Stephen Chang, Michael Ballantyne, Milo Turner +1
We present Turnstile+, a high-level, macros-based metaDSL for building dependently typed languages. With it, programmers may rapidly prototype and iterate on the design of new depe…