collaborators

1 paper

cs.SE2026

DAInfer+: Neurosymbolic Inference of API Specifications from Documentation via Embedding Models

Maryam Masoudian, Anshunkang Zhou, Chengpeng Wang +1

Modern software systems heavily rely on various libraries, which require understanding the API semantics in static analysis. However, summarizing API semantics remains challenging…