Demo Data from SIGIR 2026 / reviewers in the wild / expert
Mooho Song
dblp:379/4601
· DBLP profile ↗
1ranked-venue papers
1as first author
1since 2021 · last 2025
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 1 · 1 first-author · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Artificial intelligence
1 paper |
Knowledge representation and reasoning · 67% Language models and text generation · 33% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Knowledge, reasoning and agents › Knowledge representation and reasoning
consistency checking |
0.9 | 1 | 2025 | Introducing Verification Task of Set Consistency with Set-Consistency Energy Networks · ACL (1) 2025 |
Knowledge, reasoning and agents › Knowledge representation and reasoning
logic-based reasoning |
0.9 | 1 | 2025 | Introducing Verification Task of Set Consistency with Set-Consistency Energy Networks · ACL (1) 2025 |
Natural language and speech › Language models and text generation › natural language understanding › sentence pair modeling
natural language inference |
0.9 | 1 | 2025 | Introducing Verification Task of Set Consistency with Set-Consistency Energy Networks · ACL (1) 2025 |
Methods — techniques the papers use, named apart from their topics
margin-based loss · 0.9energy networks · 0.9
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Introducing Verification Task of Set Consistency with Set-Consistency Energy NetworksabstractExamining logical inconsistencies among multiple statements (such as collections of sentences or question-answer pairs) is a crucial challenge in machine learning, particularly for ensuring the safety and reliability of models.Traditional methods that rely on 1:1 pairwise comparisons often fail to capture inconsistencies that only emerge when more than two statements are evaluated collectively.To address this gap, we introduce the task of setconsistency verification, an extension of natural language inference (NLI) that assesses the logical coherence of entire sets rather than isolated pairs.Building on this task, we present the Set-Consistency Energy Network (SC-Energy), a novel model that employs a margin-based loss to learn the compatibility among a collection of statements.Our approach not only efficiently verifies inconsistencies and pinpoints the specific statements responsible for logical contradictions, but also significantly outperforms existing methods, including prompting-based LLM models.Furthermore, we release two new datasets: Set-LConVQA and Set-SNLI for setconsistency verification task. Original Premise & Hypothesisp: A couple walk hand in hand down a street.h: A couple is walking together. Mooho Song, Hye Ryung Son, Jay-Yoon Lee |
ACL (1) | 1 |