2022 · 73 citations · 0 references
EngineeringPart-of-speech TaggingAutomated ProofLanguage ProcessingText MiningApplied LinguisticsNatural Language ProcessingSyntaxComputational LinguisticsUnified BenchmarkFormal Mathematical ReasoningEmpirical MethodsLanguage StudiesComputer-assisted ReasoningMachine TranslationSwaroop MishraNatural LanguageNlp TaskComputer ScienceAutomated ReasoningFormal MethodsLinguistics
Swaroop Mishra, Matthew Finlayson, Pan Lu, Leonard Tang, Sean Welleck, Chitta Baral, Tanmay Rajpurohit, Oyvind Tafjord, Ashish Sabharwal, Peter Clark, Ashwin Kalyan. Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing. 2022.