Tag
FrogNano is a 4B coding agent trained via online task synthesis that achieved 61.5% on SWE-bench Verified, using a simplified tool interface and adaptive synthetic tasks.
Introduces PrologMCP, an open-source server that exposes Prolog as a stateful tool via the Model Context Protocol, enabling LLM agents to delegate reasoning to a symbolic solver. Evaluation shows competitive or superior accuracy on deductive reasoning tasks compared to frontier reasoning LLMs.