conftrace_

program semantics

5 papers

Explore in graph

Co-occurring keywords · papers mentioning both

large language model (2) code understanding (2) semantic reasoning (2) benchmark evaluation (2) graph neural network (1) code annotation (1) program reasoning (1) equivalence checking (1) source code analysis (1) selective distillation (1)

Papers

Selective Knowledge Distillation: Fusing LLM Semantic Strengths with DNN Efficiency for Binary Code Similarity Detection ACL 2026 Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference ACL 2025 EquiBench: Benchmarking Large Language Models’ Reasoning about Program Semantics via Equivalence Checking EMNLP 2025 Natural Language Annotations for Reasoning about Program Semantics EMNLP 2023 Devign: Effective Vulnerability Identification by Learning Comprehensive Program Semantics via Graph Neural Networks NeurIPS 2019