Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Mooho Song

dblp:379/4601 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Knowledge, reasoning and agents › Knowledge representation and reasoning
consistency checking
0.912025
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.912025
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.912025
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
YearPublicationVenuePosition
2025 Introducing Verification Task of Set Consistency with Set-Consistency Energy Networks
abstract
Examining 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