Compositional Semantics and Inference System for Temporal Order based on Japanese CCG (2022.acl-srw)
Copied to clipboard
| Challenge: | a system for temporal order in Japanese has not been developed for linguistic inference involving temporal expressions. |
| Approach: | They propose a Japanese NLI system that considers temporal order in Japanese . they use axioms for temporal relations and automated theorem provers to perform inference involving temporal orders. |
| Outcome: | The proposed system outperforms logic-based systems and current deep learning models on Japanese datasets. |
Similar Papers
Temporal Reasoning in Natural Language Inference (2020.findings-emnlp)
Copied to clipboard
| Challenge: | We use five new natural language inference (NLI) datasets focused on temporal reasoning. |
| Approach: | They introduce five new natural language inference datasets focused on temporal reasoning. |
| Outcome: | The proposed models capture the temporal reasoning of four existing datasets. |
Jamp: Controlled Japanese Temporal Inference Dataset for Evaluating Generalization Capacity of Language Models (2023.acl-srw)
Copied to clipboard
| Challenge: | Existing datasets and analyses focusing on English do not address the need for resources in other languages. |
| Approach: | They propose a Japanese NLI benchmark focused on temporal inference . they use a set of temporal patterns to generate diverse examples . |
| Outcome: | The proposed model can perform fine-grained analysis in Japanese and English. |
Compositional Evaluation on Japanese Textual Entailment and Similarity (2022.tacl-1)
Copied to clipboard
| Challenge: | Despite growing interest in linguistic universals, most NLI/STS studies focus on English. |
| Approach: | They propose a Japanese NLI/STS dataset that was manually translated from the English dataset SICK. |
| Outcome: | The proposed datasets show that pre-trained language models are insensitive to word order and case particles. |
Benchmarking Temporal Reasoning and Alignment Across Chinese Dynasties (2026.eacl-short)
Copied to clipboard
| Challenge: | Existing temporal reasoning benchmarks rely on rule-based construction and lack contextual depth . a recent study found existing LLMs struggle with nuanced temporal understanding . |
| Approach: | a benchmark is designed to evaluate LLMs on temporal reasoning in Chinese dynasties. |
| Outcome: | a new benchmark evaluates LLMs on temporal reasoning across Chinese dynasties . it emphasizes cross-entity relationships, pairwise temporal alignment, contextualized and culturally-grounded reasoning . results show existing LLM benchmarks struggle with nuanced temporal understanding . |
Language Models as an Alternative Evaluator of Word Order Hypotheses: A Case Study in Japanese (2020.acl-main)
Copied to clipboard
| Challenge: | a method using neural language models (LMs) for analyzing the word order of language is currently lacking. |
| Approach: | They propose a method using neural language models to analyze the word order in Japanese . they test whether there is a parallel between LMs and human word order preference . |
| Outcome: | The proposed method is validated by comparing it with other linguistic studies. |
Diagnosing the First-Order Logical Reasoning Ability Through LogicNLI (2021.emnlp-main)
Copied to clipboard
| Challenge: | Existing studies have focused on diagnosing LMs' reasoning abilities in natural language understanding tasks. |
| Approach: | They propose a diagnostic method for first-order logic reasoning with a proposed benchmark, LogicNLI. |
| Outcome: | The proposed method disentangles the target FOL reasoning from commonsense inference and can be used to diagnose LMs from four perspectives: accuracy, robustness, generalization, and interpretability. |
MorphNLI: A Stepwise Approach to Natural Language Inference Using Text Morphing (2025.findings-naacl)
Copied to clipboard
| Challenge: | Existing models fail to capture important semantic features of logic such as monotonicity and negation. |
| Approach: | They propose a modular step-by-step approach to natural language inference . they use a language model to generate edits to incrementally transform the premise into the hypothesis . |
| Outcome: | The proposed method outperforms baseline models in realistic cross-domain settings with improvements up to 12.6% (relative). |
Development of a General-Purpose Categorial Grammar Treebank (2020.lrec-1)
Copied to clipboard
| Challenge: | 'general-purpose' categorial grammar treebank is not tailored to specific variants of CG, but rather offers a theory-neutral linguistic resource that can be converted to different versions of 'type-logical grammar' . |
| Approach: | They propose a general-purpose categorial grammar treebank for Japanese that is not tailored to a specific variant of CG but rather offers a theory-neutral resource which can be converted to different versions of GC relatively easily. |
| Outcome: | The proposed treebank improves on the existing Japanese CG treebank on the treatment of certain linguistic phenomena (passives, causatives, and control/raising predicates). |
NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models (2023.emnlp-main)
Copied to clipboard
| Challenge: | Temporal Logic (TL) can be used to specify complex high-level specifications for systems in many engineering domains. |
| Approach: | They propose a framework for translation between NL and TL using Large Language Models . they use a dataset to create a model with 23K NL-TL pairs and human annotation . |
| Outcome: | The proposed framework achieves higher accuracy (> 95%) using only 10% training data compared with baseline model. |
Towards Explainable Temporal Reasoning in Large Language Models: A Structure-Aware Generative Framework (2025.findings-acl)
Copied to clipboard
| Challenge: | Existing studies on temporal reasoning models neglect the explainable reasoning processes underlying the results. |
| Approach: | They propose a structure-aware generative framework that integrates Graph structures with text for Explainable TEmporal Reasoning. |
| Outcome: | The proposed framework achieves state-of-the-art performance while also demonstrating robust generalization capabilities. |