Self-Spec Verifiable Code Generation
arXiv:2609.39568v1 Announce Type: cross Abstract: Large language models (LLMs) may generate unreliable code on corner cases missed by testing, while formal verification can provide machine-checkable g
Knowledge catalogue
arXiv:2609.39568v1 Announce Type: cross Abstract: Large language models (LLMs) may generate unreliable code on corner cases missed by testing, while formal verification can provide machine-checkable g
arXiv: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
arXiv:2609.38397v1 Announce Type: new Abstract: Virtual clients offer a cost-effective approach to support applications such as A/B testing, recommender system development, and interface evaluation. H
arXiv:2609.40245v1 Announce Type: cross Abstract: Robot navigation in dynamic, human-centered environments requires socially-compliant decisions grounded in robust scene understanding. Recent Vision-L
arXiv:2609.38414v1 Announce Type: new Abstract: Synthetic data generation is dominated by the fit-then-sample paradigm: a generative model is trained on a private dataset and then sampled from. Despit
arXiv:2504.09192v5 Announce Type: replace Abstract: The primary goal of my Ph.D. study is to develop provably efficient and practical algorithms for data-driven sequential decision-making under uncert
arXiv:2609.38721v1 Announce Type: new Abstract: Modern multimodal models bring generation and understanding into a single unified system, which enables them to provide and learn from their own feedbac
arXiv:2609.37783v1 Announce Type: cross Abstract: Photographic evidence is becoming increasingly vulnerable to forms of alteration and fabrication that existing legal and technical workflows are not w
arXiv:2609.38067v1 Announce Type: new Abstract: Scientific foundation models are commonly evaluated after heterogeneous physical problems have already been translated into a compatible gridded, tokeni
arXiv:2609.37788v1 Announce Type: cross Abstract: Rubrics support the structured evaluation of language models. We propose a rubric for assessing expressed clinical reasoning in model responses, drawi
arXiv:2609.36066v1 Announce Type: cross Abstract: Open-world aerial object-goal search is a foundational yet challenging task, requiring aerial agents to autonomously explore large-scale, unstructured
A nonprofit group, Legal Advocates for Safe Science & Technology (LASST), sued OpenAI in the San Francisco County Superior Court following a July 2026 incident where OpenAI’s AI agents stole credentia
arXiv:2609.37853v1 Announce Type: new Abstract: Large language models (LLMs) are increasingly deployed as social agents, yet credible human-like interaction requires more than fluent responses or pers
arXiv:2609.37016v1 Announce Type: new Abstract: Structured images, such as diagrams, charts, and flowcharts, are inherently symbolic and can be compactly represented in an editable format, yet in prac
arXiv:2609.36609v1 Announce Type: cross Abstract: Electroencephalography (EEG) analysis requires careful choices in preprocessing, statistical modeling, and machine learning because EEG signals are hi
arXiv:2602.11678v2 Announce Type: replace Abstract: Multimodal Large Language Models (MLLMs) have shown remarkable progress in visual understanding, yet they suffer from a critical limitation: structu
arXiv:2609.35841v1 Announce Type: cross Abstract: Mutation testing evaluates test-suite adequacy by injecting synthetic faults into program code. However, traditional rule-based tools often generate l
arXiv:2501.18581v5 Announce Type: replace Abstract: Bias-variance decompositions are widely used to understand the generalization performance of machine learning models. While the squared error loss p
arXiv:2609.37635v1 Announce Type: new Abstract: LLMs have been studied in recent linguistics as potential models of humans' linguistic abilities. Here we discuss an entirely different use of AI, namel
arXiv:2609.37223v1 Announce Type: new Abstract: Credit-risk prediction is important in banking, but a prediction alone does not explain why an applicant is risky or how it should be combined with othe
arXiv:2609.37109v1 Announce Type: cross Abstract: The rapid, unpredictable advancements in AI system capabilities has seen regulators take adaptive and experimental approaches to policymaking. Establi
Warehouse robotics software startup Destro AI Inc. has raised 8 million in new funding to bring its platform for coordinating mixed robot fleets to more enterprise warehouses, using the funds partly t
arXiv:2602.11328v2 Announce Type: replace Abstract: As people turn to LLMs for social advice, understanding their behavior in such contexts becomes essential. In this work, we focus on behavioral disp
arXiv:2603.08064v3 Announce Type: replace Abstract: Most evaluations of generative models rely on feature-distribution metrics such as FID, which operate on continuous recognition features that are ex
arXiv:2609.35804v1 Announce Type: cross Abstract: Large language models (LLMs) have shown remarkable capabilities in various natural language processing tasks, leading to their widespread deployment a
arXiv:2609.37211v1 Announce Type: new Abstract: Rapid and accurate self-inductance estimation for multilayer rectangle-shaped planar windings is essential for modern high-frequency power converters, y
arXiv:2609.35880v1 Announce Type: new Abstract: Offline reinforcement learning (RL) has traditionally focused on learning policies for direct deployment under conservative objectives, where uncertaint
arXiv:2609.38036v1 Announce Type: cross Abstract: Understanding gender biases in large language models (LLMs) is increasingly important as these systems become embedded in decision-support tools with
I built Image Studio, a local web app for Qwen-Image 2.1 on Apple Silicon. I had the model running on my Mac, but the only way to use it was the ComfyUI graph, and chaining edits meant wiring loaders,
arXiv:2602.05385v2 Announce Type: replace Abstract: Text-to-SQL is a key natural language processing task that maps natural language questions to SQL queries, enabling intuitive interaction with web-b
arXiv:2609.36996v1 Announce Type: new Abstract: Knowledge Graph Embedding models have been extensively used to learn representations of entities and relations in Knowledge Graphs for predicting missin
arXiv:2609.38173v1 Announce Type: new Abstract: We study robotic in-context learning (ICL), an emerging paradigm that enables robots to infer and execute tasks from visual demonstrations. Despite its
arXiv:2609.36556v1 Announce Type: new Abstract: Recent studies report that LLM-based multi-agent systems (MAS) fail at rates of 41%-87%, yet to our knowledge, no benchmark to date supports systematic
Hi again! This is a update to my previous post MageTrail V0.25 where I continued this tech demo toy model thingy called MageTrail, a Danbooru/E621 proof of concept Full-Finetune of Microsoft's MageFlo
arXiv:2609.36001v1 Announce Type: cross Abstract: Federated learning (FL) in healthcare remains challenging, as the overhead of rebuilding governance guarantees for every collaboration stops most proj
arXiv:2508.13009v5 Announce Type: replace Abstract: Recent advances in interactive video generations have demonstrated diffusion model's potential as world models by capturing complex physical dynamic
arXiv:2609.36581v1 Announce Type: new Abstract: Query-agnostic streaming video understanding requires vision-language models to continuously compress an indefinitely growing visual stream into a bound
arXiv:2609.35912v1 Announce Type: cross Abstract: Agent skills are shareable packages of procedural instructions, tools, and examples. Multimodal skills additionally include visual references that age
arXiv:2609.37052v1 Announce Type: new Abstract: Omnimodal large language models (Omni-LLMs) encode audio and visual streams into temporally interleaved token sequences for multimodal reasoning. Howeve
I just bought the GPUs after deliberating and debating for over two years. With costs not coming down any time soon and me just wanting to get this massive todo-box ticked, I decided to just YOLO it;
arXiv:2609.36391v1 Announce Type: cross Abstract: An ongoing challenge in sensory neuroscience is to characterize the feature dimensions encoded by cortical populations. Recent approaches probe featur
arXiv:2609.35900v1 Announce Type: cross Abstract: The integration of large language models (LLMs) into scientific workflows is accelerating, yet their ability to reconstruct the reasoning underlying p
arXiv:2609.35864v1 Announce Type: new Abstract: SEC 10-K filings contain substantial financial information that is not consistently captured in structured datasets, creating a missing-data problem aff
arXiv:2609.36850v1 Announce Type: new Abstract: Generative content is increasingly entering the production and dissemination of news, transforming fake news from manually fabricated or simply manipula
arXiv:2609.37633v1 Announce Type: cross Abstract: The common paradigm of reinforcement learning with verifiable rewards (RLVR) is to let agents make multiple attempts at a task, and optimize towards t
arXiv:2609.37294v1 Announce Type: cross Abstract: Large language models (LLMs) are increasingly used for software engineering tasks, yet their stochastic behavior challenges the validity, reproducibil
arXiv:2505.03761v2 Announce Type: replace Abstract: Soft robots promise inherent safety via their material compliance for seamless interactions with humans or delicate environments. Despite progress,
New York Post: Sources: the US FTC is expanding a sweeping probe of Anthropic, OpenAI, and other frontier AI labs, and plans to issue formal demands to turn over information — WASHINGTON — The Federal
SpaceXAI just literally shared its engineering team’s Grok Bots with everyone And Grok Bots just got much more powerful for building software Bots can now hand off coding tasks directly to Cursor, man
arXiv:2512.03284v2 Announce Type: replace Abstract: Spatial reasoning in large-scale 3D environments remains challenging for current vision--language models, which are typically constrained to room-sc
arXiv:2609.38147v1 Announce Type: new Abstract: As agents take on longer and more complex problems, controlling the execution becomes a task in its own right. Each step in the run brings new control c
NVIDIA NeMo Relay supplies a common observability layer that captures ordered lifecycle events and structured trajectories—ATOF event streams, ATIF step‑by‑step footprints, and OpenTelemetry spans wit
arXiv:2609.37552v1 Announce Type: new Abstract: While contact-rich manipulation requires deliberate regulation of interaction forces, recent approaches to robot manipulation learning predominantly rep
arXiv:2609.31756v1 Announce Type: new Abstract: Does high image fidelity imply readable screen content in 3D Gaussian Splatting (3DGS)? We introduce 3DGS-SC, a controlled static screen-content dataset
arXiv:2609.31821v1 Announce Type: new Abstract: Developing label-efficient models is a central challenge in surgical AI due to the high cost and scarcity of expert annotation. While self-supervised fo
arXiv:2408.14518v3 Announce Type: replace-cross Abstract: Simultaneous localization and mapping (SLAM) allows a mobile robot or autonomous vehicle to build a map of an unknown environment while estima
arXiv:2609.34281v1 Announce Type: new Abstract: High-dimensional Bayesian optimization (HDBO) seeks sample-efficient optimization when the number of variables is large relative to the evaluation budge
arXiv:2609.34823v1 Announce Type: new Abstract: Augmented dexterity has the potential to reduce the fatigue experienced by surgeons during repetitive surgical tasks. In this paper, we propose the firs
arXiv:2511.11257v2 Announce Type: replace-cross Abstract: The rational discovery of functional solvents remains challenging because macroscopic solvent behaviors emerge from complex many-body interact
arXiv:2609.34467v1 Announce Type: new Abstract: Recent advances in Vision-Language-Action (VLA) models point toward general-purpose robotic intelligence by unifying perception, instruction, and contro