FFL: A Language and Live Runtime for Styling and Labeling Typeset Math Formulas.

Zhiyuan Wu Jiening Li Kevin Ma Hita Kambhamettu Andrew Head

Published in: UIST (2023)

Keyphrases

programming language
real time
working group
active learning
language learning
language processing
image segmentation
natural language
relational calculus
predicate calculus
neural network
first order logic
expressive power
modeling language
mathematical expressions