Non-Interactive Symbolic-Aided Chain-of-Thought for Logical Reasoning

Phuong Minh Nguyen; Tien Dang; Naoya Inoue

Non-Interactive Symbolic-Aided Chain-of-Thought for Logical Reasoning

Minh-Phuong Nguyen, Tien Dang, Naoya Inoue

Correct Metadata for

Use this form to create a GitHub issue with structured data describing the correction. You will need a GitHub account. Once you create that issue, the correction will be reviewed by a staff member.

⚠️ Mobile Users: Submitting this form to create a new issue will only work with github.com, not the GitHub Mobile app.

Important: The Anthology treat PDFs as authoritative. Please use this form only to correct data that is out of line with the PDF. See our corrections guidelines if you need to change the PDF.

Title Adjust the title. Retain tags such as <fixed-case>.

Authors Adjust author names and order to match the PDF.

Abstract Correct abstract if needed. Retain XML formatting tags such as <tex-math>. You may use <b>...</b> for bold, <i>...</i> for italic, and <url>...</url> for URLs.

Verification against PDF Ensure that the new title/authors match the snapshot below. (If there is no snapshot or it is too small, consult the PDF.)

Authors concatenated from the text boxes above:

ALL author names match the snapshot above—including middle initials, hyphens, and accents.

Anthology ID:: 2025.paclic-1.29
Volume:: Proceedings of the 39th Pacific Asia Conference on Language, Information and Computation
Month:: December
Year:: 2025
Address:: Hanoi, Vietnam
Editors:: Chu-Ren Huang, Yasunari Harada, Jong-Bok Kim, Nguyen T.M. Huyen, Le Thanh Huong, Pham Hien, Emmanuele Chersoni, Le Minh Nguyen, Rachel Edita Oñate Roxas, Sherly Dita
Venue:: PACLIC
SIG:
Publisher:: Association for Computational Linguistics
Note:
Pages:: 329–340
Language:
URL:: https://aclanthology.org/2025.paclic-1.29/
DOI:
Bibkey:
Cite (ACL):: Minh-Phuong Nguyen, Tien Dang, and Naoya Inoue. 2025. Non-Interactive Symbolic-Aided Chain-of-Thought for Logical Reasoning. In Proceedings of the 39th Pacific Asia Conference on Language, Information and Computation, pages 329–340, Hanoi, Vietnam. Association for Computational Linguistics.
Cite (Informal):: Non-Interactive Symbolic-Aided Chain-of-Thought for Logical Reasoning (Nguyen et al., PACLIC 2025)
Copy Citation:
PDF:: https://aclanthology.org/2025.paclic-1.29.pdf

PDF Cite Search Fix data

Export citation

BibTeX
MODS XML
Endnote
Preformatted

@inproceedings{nguyen-etal-2025-non,
    title = "Non-Interactive Symbolic-Aided Chain-of-Thought for Logical Reasoning",
    author = "Nguyen, Minh-Phuong  and
      Dang, Tien  and
      Inoue, Naoya",
    editor = "Huang, Chu-Ren  and
      Harada, Yasunari  and
      Kim, Jong-Bok  and
      Huyen, Nguyen T.M.  and
      Huong, Le Thanh  and
      Hien, Pham  and
      Chersoni, Emmanuele  and
      Nguyen, Le Minh  and
      Roxas, Rachel Edita O{\~n}ate  and
      Dita, Sherly",
    booktitle = "Proceedings of the 39th Pacific {A}sia Conference on Language, Information and Computation",
    month = dec,
    year = "2025",
    address = "Hanoi, Vietnam",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/2025.paclic-1.29/",
    pages = "329--340"
}

Download as File

<?xml version="1.0" encoding="UTF-8"?>
<modsCollection xmlns="http://www.loc.gov/mods/v3">
<mods ID="nguyen-etal-2025-non">
    <titleInfo>
        <title>Non-Interactive Symbolic-Aided Chain-of-Thought for Logical Reasoning</title>
    </titleInfo>
    <name type="personal">
        <namePart type="given">Minh-Phuong</namePart>
        <namePart type="family">Nguyen</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <name type="personal">
        <namePart type="given">Tien</namePart>
        <namePart type="family">Dang</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <name type="personal">
        <namePart type="given">Naoya</namePart>
        <namePart type="family">Inoue</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <originInfo>
        <dateIssued>2025-12</dateIssued>
    </originInfo>
    <typeOfResource>text</typeOfResource>
    <relatedItem type="host">
        <titleInfo>
            <title>Proceedings of the 39th Pacific Asia Conference on Language, Information and Computation</title>
        </titleInfo>
        <name type="personal">
            <namePart type="given">Chu-Ren</namePart>
            <namePart type="family">Huang</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <name type="personal">
            <namePart type="given">Yasunari</namePart>
            <namePart type="family">Harada</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <name type="personal">
            <namePart type="given">Jong-Bok</namePart>
            <namePart type="family">Kim</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <name type="personal">
            <namePart type="given">Nguyen</namePart>
            <namePart type="given">T.M.</namePart>
            <namePart type="family">Huyen</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <name type="personal">
            <namePart type="given">Le</namePart>
            <namePart type="given">Thanh</namePart>
            <namePart type="family">Huong</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <name type="personal">
            <namePart type="given">Pham</namePart>
            <namePart type="family">Hien</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <name type="personal">
            <namePart type="given">Emmanuele</namePart>
            <namePart type="family">Chersoni</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <name type="personal">
            <namePart type="given">Le</namePart>
            <namePart type="given">Minh</namePart>
            <namePart type="family">Nguyen</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <name type="personal">
            <namePart type="given">Rachel</namePart>
            <namePart type="given">Edita</namePart>
            <namePart type="given">Oñate</namePart>
            <namePart type="family">Roxas</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <name type="personal">
            <namePart type="given">Sherly</namePart>
            <namePart type="family">Dita</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <originInfo>
            <publisher>Association for Computational Linguistics</publisher>
            <place>
                <placeTerm type="text">Hanoi, Vietnam</placeTerm>
            </place>
        </originInfo>
        <genre authority="marcgt">conference publication</genre>
    </relatedItem>
    <identifier type="citekey">nguyen-etal-2025-non</identifier>
    <location>
        <url>https://aclanthology.org/2025.paclic-1.29/</url>
    </location>
    <part>
        <date>2025-12</date>
        <extent unit="page">
            <start>329</start>
            <end>340</end>
        </extent>
    </part>
</mods>
</modsCollection>

Download as File

%0 Conference Proceedings
%T Non-Interactive Symbolic-Aided Chain-of-Thought for Logical Reasoning
%A Nguyen, Minh-Phuong
%A Dang, Tien
%A Inoue, Naoya
%Y Huang, Chu-Ren
%Y Harada, Yasunari
%Y Kim, Jong-Bok
%Y Huyen, Nguyen T.M.
%Y Huong, Le Thanh
%Y Hien, Pham
%Y Chersoni, Emmanuele
%Y Nguyen, Le Minh
%Y Roxas, Rachel Edita Oñate
%Y Dita, Sherly
%S Proceedings of the 39th Pacific Asia Conference on Language, Information and Computation
%D 2025
%8 December
%I Association for Computational Linguistics
%C Hanoi, Vietnam
%F nguyen-etal-2025-non
%U https://aclanthology.org/2025.paclic-1.29/
%P 329-340

Download as File

Markdown (Informal)

[Non-Interactive Symbolic-Aided Chain-of-Thought for Logical Reasoning](https://aclanthology.org/2025.paclic-1.29/) (Nguyen et al., PACLIC 2025)

Non-Interactive Symbolic-Aided Chain-of-Thought for Logical Reasoning (Nguyen et al., PACLIC 2025)

ACL

Minh-Phuong Nguyen, Tien Dang, and Naoya Inoue. 2025. Non-Interactive Symbolic-Aided Chain-of-Thought for Logical Reasoning. In Proceedings of the 39th Pacific Asia Conference on Language, Information and Computation, pages 329–340, Hanoi, Vietnam. Association for Computational Linguistics.