ChatGPT Is a Knowledgeable but Inexperienced Solver: An Investigation of Commonsense Problem in Large Language Models (2024 · 106 citations)
Large language models often struggle with commonsense, but it is unclear where the weakness lies: missing knowledge, or failure to apply it.
A Semantic Search Engine for Mathlib4 (2024 · 14 citations)
Finding a needed theorem in mathlib4, the Lean 4 mathematical library, is hard for anyone who doesn't know its naming conventions.
SRCB at SemEval-2026 Task 5 A Multi-Target Finetuning Framework for Large Language Models with Joint Regression and Text Generation (2026 · 1 citation)
The paper describes the first-ranked system for SemEval-2026 Task 5. In this task, models do not pick one correct sense of a homonym. They instead predict how plausible humans find a given sense in a short story, on a 1–5 scale. Evaluation uses Spearman correlation together with an accuracy measure that counts a…
GATE: Graph-based Adaptive Tool Evolution Across Diverse Tasks (2026)
LLM-based tool-making systems tend to accumulate bloated, repetitive tool libraries and are usually tied to a single task type, such as Minecraft or code generation.

Co-authors here

12 of 16 co-authors with a page, the most papers together first.

Venues

Where their works here were published, the most works first, with the editions of those that have a page.

Papers of our library cite their works 66 times (of the 149,439 papers whose bibliographies we read); 10 citing papers with a page here →.

Updated 1 November 2026