[meeting] [joint] 24.05.2024

[deemp]

Notes by @fizruk.

1. Closing Stage 1

   • We are working on the improvements to metrics and overall performance. https://github.com/objectionary/normalizer/pull/338
   • We have instructions for the pipeline, is it enough to reproduce everything? (Instructions will be updated by https://github.com/objectionary/normalizer/pull/365)
   • Do we need the metrics to be perfect for Stage 1, or just at the end of the project? @yegor256

2. ITP 2024 paper is rejected:

   • Reviews are positive, but identify incomplete work.
   • Need to select another target for a revised version of the paper. @fizruk

3. Spring example pipeline

   • We have received the instructions from Volodya
   • Do you have a preliminary sketch of the idea for the transformation? @volodya-lombrozo

4. Performance of the normalizer:

   • It is slow, and there are many opportunities to optimize its performance. - https://github.com/objectionary/normalizer/issues/352
   • One significant slowdown that I'm not sure how to improve properly: choosing the minimum term in a chain - https://github.com/objectionary/normalizer/issues/371

5. Normalizer paper:

   • After closing Stage 1
   • I have an idea, but we need to test it first
   • I also would like to know if we need a separate paper for Stage 2, or ITP paper covers it. @yegor256

6. Normalizer patent:

   • After closing Stage 1 - https://github.com/objectionary/normalizer/issues/197