kmineshima

ccg2lambda-qa-assistant

Natural language processing of questions using ccg2lambda and SPARQL

ccgcomp

Logical inference system based on event semantics and degree semantics in formal semantics

fracas-comparatives_adjectives

A CCG-based Compositional Semantics and Inference System for Comparatives

DTS-question-parser

The question parser with DTS

abduction-syllogism-llm

Evaluating Abductive Reasoning with Syllogistic Forms in Large Language Models

euler-diagrams-llm

Evaluating the logical reasoning capabilities of large language models using Euler diagrams

JDTB-logic

Japanese Discourse Relation Treebank focusing on Concessive Inferences

NeuBAROCO

Evaluating the ability of machine learning models to make logical inferences

ccg2lambda

Provide Semantic Parsing solutions and Natural Language Inferences for multiple languages following the idea of the syntax-semantics interface.

VTE

kmineshima/JDTB-logic

Japanese Discourse Relation Treebank focusing on Concessive Inferences

kmineshima/NeuBAROCO

Evaluating the ability of machine learning models to make logical inferences

kmineshima/abduction-syllogism-llm

Evaluating Abductive Reasoning with Syllogistic Forms in Large Language Models

kmineshima/euler-diagrams-llm

Evaluating the logical reasoning capabilities of large language models using Euler diagrams