conftrace_

code annotation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

program reasoning (1) reasoning about program (1) program semantics (1) code understanding (1) natural language inference (1)

Papers

Natural Language Annotations for Reasoning about Program Semantics EMNLP 2023