Rickard Ewetz

GinSign: Grounding Natural Language into System Signatures for Temporal Logic Translation

Verifiable Natural Language to Linear Temporal Logic Translation: A Benchmark Dataset and Evaluation Suite

Explaining the Reasoning of Large Language Models Using Attribution Graphs

Question Decomposition using Masked Language Modeling for Knowledge Editing

GAMMA: Gated Multi-hop Message Passing for Homophily-Agnostic Node Representation in GNNs

Grammar-Forced Translation of Natural Language to Temporal Logic using LLMs

Metric-Driven Attributions for Vision Transformers