What the paper is about Interpretable machine learning for Large Language Models (LLMs) increasingly relies on sparse probing methods that identify small set...
What the paper is about Advances in language modeling have been driven by scaling pretraining on ever more data.
What the paper is about If a language model can recognize code it wrote, it may favor that code as a judge, and instances of one model monitoring each other...
SAGE: Mitigating Long-Horizon Reasoning Biases via Topological Guidance Large language models (LLMs) often struggle with "long-horizon" reasoning—tasks that...
What the paper is about We present NNV3, the latest version of the Neural Network Verification (NNV) tool, a MATLAB framework for formal verification of deep...
EnigmaForge: The Question Is Hidden in the Story is a research paper that introduces a new way to evaluate Large Language Models (LLMs).
What the paper is about Neurosymbolic research typically assumes a pre-existing symbolic specification, leaving the upstream challenge of acquiring and forma...
ExplorationBench is a new framework designed to measure how well AI systems can perform scientific discovery.
HEXIS: Compiling Skills into Extended Finite State Machines The HEXIS research addresses a common failure point in AI agents: the difficulty of reliably foll...
What the paper is about Large language model agents increasingly combine generation, decision-making, execution, and self-evaluation within a single agentic...