12 citations · 12 across the 3 of their papers we have counts for
3 papers
cs.LG2023
Learning Type Inference for Enhanced Dataflow Analysis
Lukas Seidel, Sedick David Baker Effendi, Xavier Pinho +3
Statically analyzing dynamically-typed code is a challenging endeavor, as even seemingly trivial tasks such as determining the targets of procedure calls are non-trivial without kn…
cs.FL2023
Ordered Context-Free Grammars Revisited
Brink van der Merwe
We continue our study of ordered context-free grammars, a grammar formalism that places an order on the parse trees produced by the corresponding context-free grammar. In particula…
cs.FL2023★ 12 cited
Formalizing BPE Tokenization
Martin Berglund, Brink van der Merwe
In this paper, we formalize practical byte pair encoding tokenization as it is used in large language models and other NLP systems, in particular we formally define and investigate…