15 citations · 15 across the 3 of their papers we have counts for
4 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…
On the determinization of event-clock input-driven pushdown automata
Mizuhito Ogawa, Alexander Okhotin
Input-driven pushdown automata (also known as visibly pushdown automata and as nested word automata) are a subclass of deterministic pushdown automata and a superclass of the paren…
Subtropical Satisfiability
Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm +1
Quantifier-free nonlinear arithmetic (QF_NRA) appears in many applications of satisfiability modulo theories solving (SMT). Accordingly, efficient reasoning for corresponding const…
Confluence of Layered Rewrite Systems
Jean-Pierre Jouannaud, Jiaxiang Liu, Mizuhito Ogawa
We investigate the new, Turing-complete class of layered systems, whose lefthand sides of rules can only be overlapped at a multiset of disjoint or equal positions. Layered systems…