Sedrick Keh | Web IR NLP Group @ NUShttps://www.comp.nus.edu.sg/~kanmy/wing/author/sedrick-keh/Sedrick KehHugo Blox Builder (https://hugoblox.com)en-usFri, 01 Dec 2023 00:00:00 +0000https://www.comp.nus.edu.sg/~kanmy/wing/media/icon_hub1b49484bccf4f586453e7d2a784a896_225489_512x512_fill_lanczos_center_3.pngSedrick Kehhttps://www.comp.nus.edu.sg/~kanmy/wing/author/sedrick-keh/Doolittle: Benchmarks and Corpora for Academic Writing Formalizationhttps://www.comp.nus.edu.sg/~kanmy/wing/publication/diao-etal-2023-doolittle/Fri, 01 Dec 2023 00:00:00 +0000https://www.comp.nus.edu.sg/~kanmy/wing/publication/diao-etal-2023-doolittle/