1 citations · 1 across the 2 of their papers we have counts for
3 papers
How Do LLMs Change Predictions Under Negation?
Jongwook Yoon, Jongwon Lim, Sungjib Lim +2
Negation is an essential feature of human language, yet large language models (LLMs) remain unreliable in processing it. We evaluate recent open-source and closed-source LLMs on ou…
Confluence by Critical Pair Analysis Revisited (Extended Version)
Nao Hirokawa, Julian Nagele, Vincent van Oostrom +1
We present two methods for proving confluence of left-linear term rewrite systems. One is hot-decreasingness, combining the parallel/development closedness theorems with rule label…
Critical Peaks Redefined -
Nao Hirokawa, Julian Nagele, Vincent van Oostrom +1
Let a cluster be a term with a number of patterns occurring in it. We give two accounts of clusters, a geometric one as sets of (node and edge) positions, and an inductive one as p…