Natural Language Inference with CCG Parser and Automated Theorem Prover for DTS

Sep 24, 2025

In Proceedings of the 2nd Workshop on Bridges and Gaps between Formal and Computational Linguistics (BriGap-2)

Peer-Reviewed 国際学会

Automatic Evaluation of Linguistic Validity in Japanese CCG Treebanks

Asa Tomita, Hitomi Yanaka, Daisuke Bekki

Aug 26, 2025

In Proceedings of the 23rd International Workshop on Treebanks and Linguistic Theories (TLT, SyntaxFest 2025)

Peer-Reviewed 国際学会

CCG統語解析器lightblueと自動定理証明器waniによる自然言語推論の試み

富田朝, 大洞日音, 戸次大介

May 30, 2025

人工知能学会(JSAI2025), 2025

ツリーバンクの言語学的妥当性の評価.

富田朝, 谷中瞳, 戸次大介

Mar 13, 2025

言語処理学会第31回年次大会(NLP2025), 2025

CCG 統語解析器 lightblue と定理証明器 wani によるJSeM Verbs データセットの自動推論.

松原舞, 富田朝, 戸次大介

Paper

Mar 11, 2025

言語処理学会第31回年次大会(NLP2025), 2025

日本語推論システム lightblue の開発環境構築に向けて.

佐伯小遥, 富田朝, 戸次大介

Paper

Mar 11, 2025

言語処理学会第31回年次大会(NLP2025), 2025

Reforging : A Method for Constructing a Linguistically Valid Japanese CCG Treebank.

Asa Tomita, Hitomi Yanaka, Daisuke Bekki

Mar 19, 2024

In Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics: Student Research Workshop. (EACL SRW)

Peer-Reviewed 国際学会

言語学的に妥当なCCGツリーバンク構築と評価

富田朝, 谷中瞳, 戸次大介

Mar 12, 2024

言語処理学会第30回年次大会(NLP2024), 2024

言語学的に妥当なCCGツリーバンク構築の試み.

富田朝, 谷中瞳, 戸次大介

Jun 7, 2023

人工知能学会(JSAI2023), 2023

Talks

Contributed Talk - Automatic Evaluation of Linguistic Validity in Japanese CCG Treebanks

Aug 7, 2025

NAtural LOgic meets MAchine learning workshop (NALOMA) co-located with ESSLLI2025

国際学会

Guest Talk - Natural Language Inference with CCG Parser and Automated Theorem Prover for DTS

Aug 1, 2025

ESSLLI2025 course: Composing Meaning via Dependent Types by Daisuke Bekki

国際学会

OCHADAI OPEN CAMPUS 2025

Jul 19, 2025

I gave a talk introducing the Department of Information Science.

CCG統語解析器lightblueと自動定理証明器waniによる自然言語推論の試み

Jun 27, 2025

CREST信頼されるAIシステム 2025年度上期領域ワークショップ - ポスター発表

日本語CCGツリーバンクの言語学的妥当性の評価