Category
3,358 papers
Results indicate that global feature importance, used as an active search signal rather than a post-hoc diagnostic, improves both the effectiveness and the efficiency of individual fairness testing.
The experimental results show that the Cypress-based end-to-end test suite has short and stable execution times, and resilient data-cy attributes significantly reduce maintenance overhead when UI changes occur.
The recording and utilization of execution traces of assignments, operation calls, and return statements are proposed to make the internal behavior of operations persistent and analyzable as state-based models.
A reverse engineering technique is presented for extracting a behavioural model of a deployed chatbot through the automated exploration of its functionality via Large Language Models through the automated exploration of its functionality via Large Language Models.
Reach audiences
Advertise in front of researchers, engineers, and readers.
This study examined whether introductory Qiskit homework could remain autogradable while requiring students to run, review, and discuss results rather than banning AI.
A descriptive model of agent-documentation interaction is derived as a two-lobed cycle rather than a linear journey, and it is shown that two widely assumed properties of"agent-friendly"documentation - actionability and verifiability - lack consistent behavioural support.
This work presents a modern extraction of deeply virtual Compton scattering (DVCS) amplitudes off the proton and off the neutron through a global analysis of experimental data. These amplitudes serve as a crucial intermediate quantity linking generalized parton distributions (GPDs) to experimental observables. The anal...
Accuracy and intolerance to interference of GNSS receivers depend on the efficiency of tracking modules. To achieve better characteristics, designers should implement various issues, affecting the process of tracking in these modules: integration interval, spacing and configuration parameters of PLL and DLL. The articl...
This work proposes BreakGuard, an approach that generates a test suite to detect breaking changes in clients and successfully detected BCs from different library categories, but finds LLM-generated tests to be more reliable for detecting crash-type breaking changes as opposed to behavioural BCs.
To address fatigue failure, weld cracking and resonance in steel-frame pedestals caused by mechanical vibration, this study proposes a composite steel frame fabricated by integrating concave hexagonal negative-Poisson’s-ratio honeycomb structures with I-shaped steel, aiming to achieve the integrated structural function...
Repo0 is presented, a continuous structural evolution framework for zero-to-all code generation that maintains an explicit architectural state instantiated as a Dual-Directed-Acyclic-Graph (Dual-DAG), consisting of a requirement-level DAG, a component-level DAG, and their alignment relation.
This work presents an end-to-end, deployment-aware testing pipeline for IoT-based automotive applications that combines requirement-driven test and code generation with large language model (LLM) and vision-language model (VLM) assistance, and human-in-the-loop curation to reduce manual effort and improve consistency.
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.
