Category
3,351 papers
Surf_2_Volume is presented, a workflow that combines Connectome Workbench, FreeSurfer, AFNI, AFNI, neuromaps, and Python image processing to convert cortical and subcortical CIFTI parcellations into Neuroimaging Informatics Technology Initiative (NIfTI) volumes.
This work proposes a model-based approach that optimizes model parameters, and evaluates first- and best-improvement algorithms, simulated annealing (SA), threshold accepting (TA), and two novel algorithms utilizing directional derivatives (dd) to guide exchanges.
This paper presents an empirical evaluation of Large Language Models (LLMs) for automated model-based test generation, compared with a state-of-the-art model-based testing tool (GraphWalker) and its built-in algorithms (random and quick random for edge and vertex coverage settings).
The work identifies five distinct stages of the documentation review process: self review, technical review, editorial review, play testing, and post-publication feedback, and draws on practitioners with distinct expertise to address quality across content, presentation, and user experience.
Reach audiences
Advertise in front of researchers, engineers, and readers.
It is found that functional correctness alone is insufficient to assess the operational reliability of LLM-generated software before deployment in continuously running environments, and aging trends can also emerge in manually developed implementations.
The positive results of ISIT counseling on psychological distress symptoms and reducing perinatal grief during follow-ups conducted immediately post-intervention and 3 months after the intervention suggest that it will be useful for managing the complications of spontaneous abortion.
A novel basis expansion approach is proposed to fit a variable‐domain functional regression model, which assumes the functional nature of the covariate (daily steps) and incorporates the sample data into the model without alignment to enrich the interpretability of the model.
AI-assisted development tools enable software engineers to generate implementations at substantially higher speed and volume than in traditional workflows, yet relatively little is known about how existing guardrails evolve in response.
This work presents the first characterization study of open-source satellite software, examining its ecosystem and development practices, revealing a highly heterogeneous and task-specialized ecosystem with 66 programming languages and diverse implementation strategies.
RTL-Obliger is presented, a neuro-symbolic framework that infers implicit security obligations of register-transfer-level RTL in a functionality-preserving two-stage generation and raises mean all-pass rates.
PLCBENCH is presented, to the authors' knowledge, the first real-PLC hardware-in-the-loop (HIL) framework for characterizing this cyber-to-physical capability and its boundaries and it combines vendor-native interaction, commercial PLC execution, closed-loop reduced-order process simulation, and independent outcome ver...
An entity-only external interface with task-conditioned relation materialization during inference with two-layer index separates global routing from local entity focus is proposed and evaluated on DeepSeek-V4-Flash and SWE-bench Verified.
AI agents can generate code at a scale that’s hard for humans to review line-by-line. PDD Kit helps ensure the code is doing what the developer intended by creating formal specifications and testing against them. It converts developer intent into a Verus specification, proves AI-generated code meets it for every input, and uses tests where proofs aren't practical. Developers review intent, not every line. The post Formally verifying agent-written full-stack web apps with PDD Kit appeared first o…
A Blog post by Ai2 on Hugging Face
GPT-Lab
· gpt-lab.eu
Nov 3, 2026
Is your company’s AI sovereign? A practical guide for CIOs on AI vendor lock-in, EU Data Act switching, cloud sovereignty, and testing your exit plan before you need it. The post Sovereignty Is the Option to Leave appeared first on GPT-Lab.
Evaluating Microsoft Copilot at enterprise scale requires test data that captures the full complexity of real organizations, yet real enterprise data contains sensitive information that cannot be used for evaluation under any circumstances. The post From synthetic enterprise data evaluations to real Microsoft Copilot AI confidence appeared first on Microsoft Research.
Host Sowbhagya Suresh shares some of the latest news and cutting-edge research from across Microsoft—from understanding the challenges facing coding agents to uncovering how people use AI at work and improving extended-range weather forecasting. The post Microsoft Research Focus – Edition #97 appeared first on Microsoft Research.
A Blog post by IBM Granite on Hugging Face
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
