4 papers
CRABS: A syntactic-semantic pincer strategy for bounding LLM interpretation of Python notebooks
Meng Li, Timothy M. McPhillips, Dingmin Wang +2
Recognizing the information flows and operations comprising data science and machine learning Python notebooks is critical for evaluating, reusing, and adapting notebooks for new t…
AF-XRAY: Visual Explanation and Resolution of Ambiguity in Legal Argumentation Frameworks
Yilin Xia, Heng Zheng, Shawn Bowers +1
Argumentation frameworks (AFs) provide formal approaches for legal reasoning, but identifying sources of ambiguity and explaining argument acceptance remains challenging for non-ex…
Choices and their Provenance: Explaining Stable Solutions of Abstract Argumentation Frameworks
Bertram Ludäscher, Yilin Xia, Shawn Bowers
The rule , evaluated under the well-founded semantics (WFS), yields a unique 3-valued (skepti…
Logica-TGD: Transforming Graph Databases Logically
Evgeny Skvortsov, Yilin Xia, Bertram Ludäscher +1
Graph transformations are a powerful computational model for manipulating complex networks, but handling temporal aspects and scalability remain significant challenges. We present…