<?xml version="1.0" encoding="UTF-8"?>
<modsCollection xmlns="http://www.loc.gov/mods/v3">
<mods ID="kobayashi-etal-2026-neural">
    <titleInfo>
        <title>Neural DTS: Integrating Hyperbolic Classifiers into Natural Language Inference Systems</title>
    </titleInfo>
    <name type="personal">
        <namePart type="given">Honoka</namePart>
        <namePart type="family">Kobayashi</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <name type="personal">
        <namePart type="given">Hinari</namePart>
        <namePart type="family">Daido</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <name type="personal">
        <namePart type="given">Daisuke</namePart>
        <namePart type="family">Bekki</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <originInfo>
        <dateIssued>2026-08</dateIssued>
    </originInfo>
    <typeOfResource>text</typeOfResource>
    <relatedItem type="host">
        <titleInfo>
            <title>Proceedings of the 6th Workshop on Natural Language Meets Logic and Machine Learning (NALOMA)</title>
        </titleInfo>
        <name type="personal">
            <namePart type="given">Hitomi</namePart>
            <namePart type="family">Yanaka</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <name type="personal">
            <namePart type="given">Lasha</namePart>
            <namePart type="family">Abzianidze</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <originInfo>
            <publisher>Association for Computational Linguistics</publisher>
            <place>
                <placeTerm type="text">Prague, Czechia</placeTerm>
            </place>
        </originInfo>
        <genre authority="marcgt">conference publication</genre>
        <identifier type="isbn">979-8-89176-389-0</identifier>
    </relatedItem>
    <abstract>Dependent Type Semantics (DTS) provides a highly rigorous framework for natural language inference (NLI), yet its scalability is severely bottlenecked by the need for manually created world knowledge. To overcome this knowledge acquisition bottleneck, we present a novel neuro-symbolic NLI system that integrates Hyperbolic Entailment Cones for automated conceptual hierarchy discovery. By exploiting the geometric properties of hyperbolic space, our model efficiently learns lexical entailment relations and dynamically injects them as logical axioms during the DTS proof-search process. Evaluations on our constructed diagnostic dataset show that our hybrid approach broadens the coverage of complex lexical variations and paraphrases without manual engineering.</abstract>
    <identifier type="citekey">kobayashi-etal-2026-neural</identifier>
    <location>
        <url>https://aclanthology.org/2026.naloma-1.2/</url>
    </location>
    <part>
        <date>2026-08</date>
        <extent unit="page">
            <start>9</start>
            <end>18</end>
        </extent>
    </part>
</mods>
</modsCollection>

%0 Conference Proceedings
%T Neural DTS: Integrating Hyperbolic Classifiers into Natural Language Inference Systems
%A Kobayashi, Honoka
%A Daido, Hinari
%A Bekki, Daisuke
%Y Yanaka, Hitomi
%Y Abzianidze, Lasha
%S Proceedings of the 6th Workshop on Natural Language Meets Logic and Machine Learning (NALOMA)
%D 2026
%8 August
%I Association for Computational Linguistics
%C Prague, Czechia
%@ 979-8-89176-389-0
%F kobayashi-etal-2026-neural
%X Dependent Type Semantics (DTS) provides a highly rigorous framework for natural language inference (NLI), yet its scalability is severely bottlenecked by the need for manually created world knowledge. To overcome this knowledge acquisition bottleneck, we present a novel neuro-symbolic NLI system that integrates Hyperbolic Entailment Cones for automated conceptual hierarchy discovery. By exploiting the geometric properties of hyperbolic space, our model efficiently learns lexical entailment relations and dynamically injects them as logical axioms during the DTS proof-search process. Evaluations on our constructed diagnostic dataset show that our hybrid approach broadens the coverage of complex lexical variations and paraphrases without manual engineering.
%U https://aclanthology.org/2026.naloma-1.2/
%P 9-18

Markdown (Informal)

[Neural DTS: Integrating Hyperbolic Classifiers into Natural Language Inference Systems](https://aclanthology.org/2026.naloma-1.2/) (Kobayashi et al., NALOMA 2026)

• Neural DTS: Integrating Hyperbolic Classifiers into Natural Language Inference Systems (Kobayashi et al., NALOMA 2026)

ACL

• Honoka Kobayashi, Hinari Daido, and Daisuke Bekki. 2026. Neural DTS: Integrating Hyperbolic Classifiers into Natural Language Inference Systems. In Proceedings of the 6th Workshop on Natural Language Meets Logic and Machine Learning (NALOMA), pages 9–18, Prague, Czechia. Association for Computational Linguistics.