Stream: math-comp devs

Topic: name subtokenizer in MathComp repo?


view this post on Zulip Karl Palmskog (Dec 08 2020 at 14:37):

@Cyril Cohen let's say we converted our MathComp subtokenizer from Python to OCaml. Could this tool be something that lives in the MathComp repo? In a sense, it encodes knowledge about MathComp naming conventions and is the only part of Roosterize that is MathComp-specific.

For benefit of others, some example inputs and outputs for the subtokenizer:

view this post on Zulip Cyril Cohen (Dec 08 2020 at 14:38):

I would be nice, but I have trouble understanding which of [exp; g; l; n] and [expg; l; n] is the right tokenization.

view this post on Zulip Karl Palmskog (Dec 08 2020 at 14:40):

well, I guess it is sometimes better to be consistent than to be right, so one would pick one of the them


Last updated: Aug 11 2022 at 01:03 UTC