반응형 arxiv572 [2022-10-22] 오늘의 자연어처리 Execution Time Program Verification With Tight Bounds This paper presents a proof system for reasoning about execution time bounds for a core imperative programming language. Proof systems are defined for three different scenarios: approximations of the worst-case execution time, exact time reasoning, and less pessimistic execution time estimation using amortized analysis. We define a Hoare logi.. 2022. 10. 22. [2022-10-21] 오늘의 자연어처리 Language Models Understand Us, Poorly Some claim language models understand us. Others won't hear it. To clarify, I investigate three views of human language understanding: as-mapping, as-reliability and as-representation. I argue that while behavioral reliability is necessary for understanding, internal representations are sufficient; they climb the right hill. I review state-of-the-art languag.. 2022. 10. 21. [2022-10-20] 오늘의 자연어처리 EventGraph at CASE 2021 Task 1: A General Graph-based Approach to Protest Event Extraction This paper presents our submission to the 2022 edition of the CASE 2021 shared task 1, subtask 4. The EventGraph system adapts an end-to-end, graph-based semantic parser to the task of Protest Event Extraction and more specifically subtask 4 on event trigger and argument extraction. We experiment with vari.. 2022. 10. 20. [2022-10-19] 오늘의 자연어처리 Textual Entailment Recognition with Semantic Features from Empirical Text Representation Textual entailment recognition is one of the basic natural language understanding(NLU) tasks. Understanding the meaning of sentences is a prerequisite before applying any natural language processing(NLP) techniques to automatically recognize the textual entailment. A text entails a hypothesis if and only if .. 2022. 10. 19. 이전 1 ··· 115 116 117 118 119 120 121 ··· 143 다음 반응형