← Search

Osamu Imaichi

2 accepted papers

2024

CHICOT: A Developer-Assistance Toolkit for Code Search with High-Level Contextual Information

AAAI 2024technical

We propose a source code search system named CHICOT (Code search with HIgh level COnText) to assist developers in reusing existing code. While previous studies have examined code search on the basis of code-level, fine-grained specifications such as functionality, logic, or implementation, CHICOT ad…

Cited by 0SourcePDFScholar
2024

JFLD: A Japanese Benchmark for Deductive Reasoning Based on Formal Logic

COLING 2024main

Large language models (LLMs) have proficiently solved a broad range of tasks with their rich knowledge but often struggle with logical reasoning. To foster the research on logical reasoning, many benchmarks have been proposed so far. However, most of these benchmarks are limited to English, hinderin…