CompanyAnthropic8 recent entries5 Oct 2026Automating the Application of HCI Principles: Skills for On-Demand UI Construction, the Human-AI Space to Think, and the Future of HCIarXiv:2610.02369v1 Announce Type: cross Abstract: Human-computer interaction (HCI) is in the middle of a transition: large language models can now generate functional user interfaces (UIs) on demand f→6 Oct 2026AIProver: Agentic Auto-Formalization of Mathematical Research via Certificate-Driven Evolving HarnessarXiv:2610.05367v1 Announce Type: cross Abstract: Proof auto-formalization translates natural-language (NL) theorems and proofs into a formal language (FL) such as Lean, enabling mechanical verificati
CompanyOpenAI8 recent entries7 Oct 2026Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofsarXiv:2610.08144v1 Announce Type: cross Abstract: Autoformalisation is increasingly used to verify mathematical texts, including those generated by AI, as in OpenAI's announced proof of blow-up of sol→7 Oct 2026Language-model ratings of depression reflect the rater more than the patientarXiv:2610.08501v1 Announce Type: cross Abstract: Depression has no diagnostic blood test. Language models promise tireless, consistent assessment, but can accurate raters disagree about individuals? →7 Oct 2026JEV versus LLMs: Accuracy, Cost and Calibration on Seven Political Science ReplicationsarXiv:2610.06625v2 Announce Type: replace Abstract: Large language models (LLMs) annotate and scale political text or constructs by generating text tokens. A new class of models, which TypeSafe market→7 Oct 2026CCDF: A Benchmark Dataset for Deepfake Detection in Real-World Surveillance FootagearXiv:2610.07939v1 Announce Type: new Abstract: Due to rapid advances in Generative AI, commercial video generation tools can be used to produce fabricated surveillance footage that can fool both huma→8 Oct 2026Arctic Questions, Missing Answers: A Dataset and Benchmark for LLM Abstention in Arctic SciencearXiv:2610.09446v1 Announce Type: new Abstract: Large language models (LLMs) should abstain from scientific multiple-choice questions when no option is valid, but frequent abstention alone does not de→9 Oct 2026Writing for the Reviewer: Defensive Writing in GPT ModelsarXiv:2610.11355v1 Announce Type: new Abstract: Researchers increasingly use ChatGPT to revise their papers, and recent GPT versions often narrow or even retract the authors' claims. We call such chan→9 Oct 2026Large Language Model Turnover Undermines Screening for Artificial Intelligence-Assisted Scientific WritingarXiv:2610.11599v1 Announce Type: cross Abstract: Journals and conferences have begun to screen submitted manuscripts for text written using large language models (LLMs). The reliability of this scree→9 Oct 2026From Reactive Containment to Proactive Assurance: Lessons from OpenAI, Anthropic, and Google Agent Security IncidentsarXiv:2610.12463v1 Announce Type: cross Abstract: In 2026, cybersecurity evaluations involving OpenAI, Anthropic, and Google agents reached real systems outside their authorized test scope. The paths
CompanyGoogle8 recent entries2 Oct 2026VeriHarness: Scaling Agentic Verification for Long-Horizon TasksarXiv:2610.00972v1 Announce Type: new Abstract: As LLM agents undertake increasingly complex, long-horizon tasks, verifying their outputs becomes increasingly challenging. We study how verification ca→2 Oct 2026Reputation, Strategy, and Emotion Effects on Generative AI Cooperation: A Comparison Across Reasoning and Non-Reasoning ModelsarXiv:2610.01222v1 Announce Type: new Abstract: As generative AI (Gen AI) systems take on increasingly autonomous roles in economically and socially consequential interactions, understanding their pro→5 Oct 2026VIGOR: Zero-Shot Visual Generalization via Latent-Space Consistency in Model-Based Reinforcement LearningarXiv:2610.02801v1 Announce Type: new Abstract: Model-based reinforcement learning (MBRL) achieves strong sample efficiency by planning within learned latent dynamics, yet its performance degrades sub→5 Oct 2026Do Large Language Models Know Colombian Law? A Reliability Benchmark for the Colombian Legal SystemarXiv:2610.03639v1 Announce Type: new Abstract: Large language models (LLMs) are increasingly used to support legal practice, education, and research, yet their reliability in national legal systems o→6 Oct 2026VideoResearchAgent: Grounded Task Synthesis and Sim-to-Real RL for Open-Web Video ResearcharXiv:2610.04911v1 Announce Type: cross Abstract: Existing deep research agents are designed primarily for text- and image-based web sources, while video reasoning systems typically assume that releva→8 Oct 2026Arctic Questions, Missing Answers: A Dataset and Benchmark for LLM Abstention in Arctic SciencearXiv:2610.09446v1 Announce Type: new Abstract: Large language models (LLMs) should abstain from scientific multiple-choice questions when no option is valid, but frequent abstention alone does not de→9 Oct 2026From Reactive Containment to Proactive Assurance: Lessons from OpenAI, Anthropic, and Google Agent Security IncidentsarXiv:2610.12463v1 Announce Type: cross Abstract: In 2026, cybersecurity evaluations involving OpenAI, Anthropic, and Google agents reached real systems outside their authorized test scope. The paths →12 Oct 2026MathVis: Can AI Reason through Drawing? A Benchmark for Mathematical Figure GenerationarXiv:2610.12954v1 Announce Type: new Abstract: This paper introduces MathVis, a benchmark designed to evaluate LLMs' ability to visualize frontier mathematical problems and perform diagram-assisted r
CompanyMeta8 recent entries5 Oct 2026Multimodal reasoning for broadly neutralizing antibody discovery from label-free human B cell repertoires across virus familiesarXiv:2610.03160v1 Announce Type: cross Abstract: Discovering broadly neutralizing antibodies (bnAbs) from human natural immune repertoires remains a fundamental challenge in immunology, hindered by: →5 Oct 2026Learning What to Investigate Next: Meta-Reasoning for Long-Horizon Research AgentsarXiv:2610.02525v1 Announce Type: new Abstract: Long-horizon research agents must decide both how to investigate and what to investigate next as evidence accumulates. This is hard to learn because suc→7 Oct 2026Novice Reliance Calibration in AI-Assisted Decision Making: The Role of Explanations and Self-AssessmentarXiv:2610.07800v1 Announce Type: cross Abstract: Artificial Intelligence (AI) tools are widely used to support decision making in tasks and domains where no immediate performance feedback is availabl→7 Oct 2026Mathematical Proof Assistants for Teaching Logic: The LogiKEy MethodologyarXiv:2610.08214v1 Announce Type: new Abstract: We report on an approach to teaching logic to mixed groups of computer science, mathematics, and philosophy students, based on the logico-pluralistic Lo→7 Oct 2026Learning to Outgrow a Theory: Experimental Discovery Beyond the Initial Hypothesis SpacearXiv:2610.07627v1 Announce Type: new Abstract: Scientific discovery systems typically optimize experiments within a fixed hypothesis space. This creates a failure mode when all available candidates o→7 Oct 2026How High Is 0.6? Floors, Ceilings, and Headroom in Interpretability ProbingarXiv:2610.08544v1 Announce Type: cross Abstract: Probes are the workhorse of interpretability. If a model's hidden states predict a variable, the model is said to represent it. But a probe score has →7 Oct 2026Fork-and-Flush: Escaping Idea Basins in Autoresearch AgentsarXiv:2610.07447v1 Announce Type: new Abstract: Autoresearch agents tackle open-ended problems by repeatedly proposing candidate solutions, evaluating them, and using feedback to guide subsequent expe→8 Oct 2026GAGR-Lab: Evaluating Joint Spatial-Geometric and Analytic Function ReasoningarXiv:2610.10201v1 Announce Type: cross Abstract: Joint spatial-geometric and analytic function reasoning requires translating a perceived spatial configuration into a symbolic function whose executed
CompanyMistral8 recent entries11 Sept 2026OpenDiscoveryTrace: Process Traces for Evaluating AI Scientist WorkflowsarXiv:2609.09203v1 Announce Type: new Abstract: Existing benchmarks for autonomous AI scientists evaluate only final outputs---generated code, hypotheses, or papers---yet discard the reasoning process→15 Sept 2026TriCalRAG: A Three-Strategy, Retrieval-Augmented Benchmark for On-Premise LLM-Based Root Cause Analysis in AIOpsarXiv:2609.14762v1 Announce Type: cross Abstract: Cloud-hosted large language models (LLMs) are increasingly used for root cause analysis (RCA) in AIOps pipelines, but they introduce data privacy risk→15 Sept 2026Towards a Mechanistic Understanding of Propositional Logical Reasoning in Large Language ModelsarXiv:2601.04260v2 Announce Type: replace Abstract: Understanding how Large Language Models (LLMs) perform logical reasoning internally remains a fundamental challenge. While prior mechanistic studies→17 Sept 2026Reading Between the Lines: Can LLMs Discover the Question Behind the Text?arXiv:2609.19070v1 Announce Type: new Abstract: This paper introduces ``question archaeology'', a specific evaluation task focused on inferring the single, authentic 'genesis question' that motivated →21 Sept 2026Talk to Me, Jarvis: An Open-Source Edge-Deployable Voice Assistant Framework for Autonomous RacecarsarXiv:2609.21109v1 Announce Type: new Abstract: Recent advances in large language models have improved their effectiveness as back-end components for voice assistants, particularly in intent understan→22 Sept 2026Does the Truthfulness Signal Survive Code-Mixing? Probing Hidden States for Hallucination Detection in HinglisharXiv:2609.22138v1 Announce Type: new Abstract: Hidden-state hallucination probing - training a linear classifier on an LLM's internal activations to detect whether a generated answer is faithful to t→22 Sept 2026Auditing Political Alignment in LLM Assistants: Engagement, Stance, and User IdentityarXiv:2609.23039v1 Announce Type: new Abstract: LLM-based AI systems answer political questions for hundreds of millions of people. Current audits measure what they say to an average user, but their b→9 Oct 2026Masked Diffusion Language Models are Strong and Steerable Text-Based World Models for Agentic RLarXiv:2607.16204v2 Announce Type: replace Abstract: Recent growth in reinforcement learning (RL) has surfaced a need for diverse, specialized training environments. Hand-curated environments with fixe
CompanyxAI8 recent entries2 Oct 2026WOMBAT: Whitebox Oracle for Molecular Benchmarking and Attribution TestingarXiv:2610.00713v1 Announce Type: new Abstract: When a graph neural network (GNN) explainer produces an unexpected attribution on a molecule, the attribution alone cannot reveal whether the explainer →2 Oct 2026Explainability of Complex AI Models with Correlation Impact RatioarXiv:2601.06701v2 Announce Type: replace-cross Abstract: Complex AI systems make better predictions but often lack transparency, limiting trustworthiness, interpretability, and safe deployment. Commo→6 Oct 2026Do RUL explanations hold up? Faithfulness and stability of attributions on C-MAPSSarXiv:2610.04278v1 Announce Type: new Abstract: Deep remaining-useful-life (RUL) models on NASA C-MAPSS are now routine, and so are heatmaps that colour sensors and timesteps. A heatmap that looks mec→7 Oct 2026Rule-Based Languages for Neurosymbolic AIarXiv:2610.07313v1 Announce Type: new Abstract: Logic programming is increasingly used as the symbolic component of neurosymbolic AI systems. We survey the main rule-based languages in this setting, n→7 Oct 2026CCDF: A Benchmark Dataset for Deepfake Detection in Real-World Surveillance FootagearXiv:2610.07939v1 Announce Type: new Abstract: Due to rapid advances in Generative AI, commercial video generation tools can be used to produce fabricated surveillance footage that can fool both huma→8 Oct 2026For Those Who Believe in Faithfulness: Optimizing the Area Under Insertion and Deletion Curves for Ranking Relative Feature ImportancearXiv:2610.09844v1 Announce Type: cross Abstract: The adoption of machine learning for socially relevant tasks requires effective explainable artificial intelligence (XAI) methods to better understand→12 Oct 2026Faithfulness Without Anchors: A Position Paper on the Structural Misalignments of Explainable AI Faithfulness Metrics for Feature ImportancearXiv:2610.12493v1 Announce Type: new Abstract: Explainable Artificial Intelligence (XAI) tools have often been presented as methods to increase trust in machine learning models by making aspects of t→12 Oct 2026Controlled-Minimax: Stabilizing Adversarial Optimization via Control TheoryarXiv:2610.12915v1 Announce Type: new Abstract: Minimax optimization is fundamental to adversarial learning yet suffers from severe stability challenges, often manifesting as persistent limit cycles o
CompanyDeepSeek8 recent entries18 Sept 2026BioPhys-Bridge: A Benchmark for Interdisciplinary Scientific Reasoning in Physics-Grounded Biological ResearcharXiv:2609.19180v1 Announce Type: new Abstract: Language models face unique challenges in analyzing interdisciplinary scientific research literature. In biophysics research, faithful answers require g→22 Sept 2026Auditing Political Alignment in LLM Assistants: Engagement, Stance, and User IdentityarXiv:2609.23039v1 Announce Type: new Abstract: LLM-based AI systems answer political questions for hundreds of millions of people. Current audits measure what they say to an average user, but their b→29 Sept 2026Autonomous Research Project Management as an Agent Skill: A Case Study in Exact Spectral Spatial RegressionarXiv:2609.31683v1 Announce Type: new Abstract: This work presents an end-to-end demonstration of autonomous machine learning research conducted by an agent skill on consumer hardware. The demonstrati→1 Oct 2026SETA: Scaling Environments for Terminal AgentsarXiv:2607.10891v2 Announce Type: replace Abstract: Large language models (LLMs) are rapidly shifting toward agents that solve tasks through diverse interfaces, including web and graphical user interf→1 Oct 2026Fyan: A Human--AI Harness with Semantic Auditing for Document-Level FormalizationarXiv:2609.39228v1 Announce Type: new Abstract: We present FYAN, a human--AI harness for document-level mathematical formalization. Rather than treating theorems in isolation, FYAN coordinates an end-→2 Oct 2026Predictive Credit: Measuring What Scientific Explanations Add to Experimental ForecastsarXiv:2610.00314v1 Announce Type: new Abstract: Research agents explain planned experiments. We measure predictive credit with paired forecasts sharing an intervention, forecaster, and outcome while v→7 Oct 2026NeMo-DCR: Bit-Exact Delta-Compressed Refit for Scalable Agentic RL at Trillion-Parameter ScalearXiv:2610.08430v1 Announce Type: cross Abstract: Agentic reinforcement learning (RL) disaggregates training from rollout, so each policy update must reach the rollout clusters before the next batch. →9 Oct 2026Evaluating Rubric Generation with Interventional TransferarXiv:2610.10809v1 Announce Type: new Abstract: Instance-specific rubrics are common in AI benchmarks where reliable evaluation requires specific expert knowledge. This approach is difficult to scale,
CompanyNVIDIA8 recent entries9 Sept 2026DC-Gen: Post-Training Diffusion Acceleration with Deeply Compressed Latent SpacearXiv:2509.25180v3 Announce Type: replace Abstract: Existing text-to-image diffusion models excel at generating high-quality images, but face significant efficiency challenges when scaled to high reso→15 Sept 2026TriCalRAG: A Three-Strategy, Retrieval-Augmented Benchmark for On-Premise LLM-Based Root Cause Analysis in AIOpsarXiv:2609.14762v1 Announce Type: cross Abstract: Cloud-hosted large language models (LLMs) are increasingly used for root cause analysis (RCA) in AIOps pipelines, but they introduce data privacy risk→15 Sept 2026Is Semantic SLAM Ready for Embedded Systems ? A Comparative SurveyarXiv:2505.12384v2 Announce Type: replace Abstract: Semantic SLAM holds promise for robust robot navigation in complex environments, but its practicality on embedded systems remains uncertain. This pa→16 Sept 2026Enhancing Law-Enforcement Audio Transcription: A LoRA-Based Adaptation of Whisper for BWC FootagearXiv:2607.27245v2 Announce Type: replace-cross Abstract: Modern policing faces a 'visibility paradox' where law enforcement agencies possess petabytes of Body-Worn Camera (BWC) footage that remains l→18 Sept 2026GR2PO: Group Relative Return Policy Optimization for Continuous Robot ControlarXiv:2609.19850v1 Announce Type: new Abstract: Actor-critic architecture has been widely used in continuous robot control. However, they rely on learning a value network, introducing additional compu→1 Oct 2026Role-guided Speaker Deletion Verification in Clinical Psychiatry Speech Recordings with Audio Language ModelsarXiv:2609.38491v1 Announce Type: new Abstract: Clinical research in psychiatry increasingly relies on large scale collection of spoken language data to identify acoustic and linguistic biomarkers. Ye→2 Oct 2026Learning Rate Transfer for Hybrid Transformer-SSM ArchitecturesarXiv:2610.01172v1 Announce Type: new Abstract: We study learning rate (LR) scaling for hybrid architectures combining Transformer and State-Space Model (SSM) blocks, a class adopted by several recent→7 Oct 2026WareFly-VLA: A Vision-Language-Action Framework for UAV Navigation and Human Tracking in Smart WarehousesarXiv:2610.08526v1 Announce Type: cross Abstract: Vision-Language-Action (VLA) models have achieved impressive results in robotic manipulation and ground-mobile navigation, yet language-conditioned co