Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning.
Thanh Le-CongDuc-Minh LuongXuan Bach D. LeDavid LoNhat-Hoa TranBui Quang HuyQuyet-Thang HuynhPublished in: CoRR (2023)
Keyphrases
- syntactic semantic
- natural language
- semantic parsing
- semantic representation
- syntactic structures
- knowledge base
- semi automated
- semantic constraints
- knowledge representation
- semantic representations
- semantic web
- semantic network
- recognizing textual entailment
- context dependent
- semantic web technologies
- semantic knowledge
- natural language understanding
- natural language sentences
- semantic analysis
- logical reasoning
- natural language text
- semantic information
- semantic description
- compositional semantics
- syntactic analysis
- semantic roles
- semantic similarity
- low level features
- image patches
- higher level
- domain specific
- high level