Artic is proposed, an artifact-driven workflow compiler that transforms a natural-language workflow into an artifact-driven workflow in which each step declares the artifacts it reads and writes, constraints gate produced artifacts, and explicit control transfers route execution.
Xiang-Zhe Xu, Hanxi Guo, Guangyu Shen et al.· 0 citations
The results show that specification size alone does not predict implementation quality and that cross-agent transfer can produce substantial agent-dependent degradation, and suggest that specifications in heterogeneous SDD workflows should not automatically be treated as agent-neutral artifacts.
Oleg Grynets, O. Ilchuk, Dariia Zatulna et al.· 2 citations
New approaches are proposed to simplify and formalize multi-panel figure composition, emphasizing rapid layout construction and experimentation while maintaining explicit control over publication parameters.
A. Aguiar· bioRxiv· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
LLMs could serve as a quality control check during opioid policy surveillance research, supplementing human review, and benefit from best practices and technical guidelines for LLM utilization.
B. Andraka-Christou, Jae Park, F. Ahmed et al.· Journal of Studies on Alcoho...· 0 citations
This work uses event logs extracted from software repositories to discover project-specific agent roles using a predefined SE role vocabulary grounded in repository behavior and generates matching agent specifications and implementations that are aligned with human expectations.
Saimir Bala, Fabiana Fournier, Lior Limonad et al.· Lecture notes in business in...· 0 citations
Drug use is an ancient practice, but its associated disorders represent a contemporary public health challenge. This study investigates the impact of proximal processes in childhood/adolescence and adulthood on substance use, focusing on the role of Therapeutic Communities (TCs). Using a qualitative methodology, 19 res...
Marceli de Souza Rosa-Pereira, L. Pessoa· Lumen et Virtus· 0 citations
The findings demonstrate that a software-based prototype integrating machine learning with image analysis can effectively simulate the core functions of a physical counterfeit-detecting banknote counter.
Morufat D. Gbolagade, Muhammed Faisal Husseini, Sadiq Kalli Kori et al.· FUDMA Journal of Sciences· 0 citations
This study proposes a framework for identifying financial turbulence in construction project cash flows using the Relative Financial Reynolds Number (Re(t)). Inspired by fluid mechanics, the indicator captures transitions between stable, high-risk, and turbulent financial regimes and provides an early-warning mecha...
Erman Tümtürk· Engineering Construction and...· 0 citations
OBJECTIVE
To predict patient satisfaction 6 months after small-incision lenticule extraction (SMILE) surgery from preoperative clinical data demonstrating the methodological utility of open-source orange data mining software (Orange) feature selection and machine learning (ML) for practice-based evidence.
DESIGN
A re...
Rebecca M. Cairns, Richard N. McNeely, Mark C. M. Dunne et al.· Canadian Journal of Ophthalm...· 0 citations
Key factors contribute to differences in depression and anxiety symptoms among older adults: gender, body mass index, ethnicity, occupation before retirement, marital status, physical disability status, independence in activities of daily living, number of chronic diseases, smoking and drinking habits, dietary habits,...
Jing Zhang, Feng Li, Yun-Tong Yao et al.· Medicine· 0 citations
Making ISF available as a standalone online resource, it is believed it will facilitate the generation, simulation and analysis of models that reveal mechanistic origins of in vivo recorded activity beyond the barrel cortex for which it was originally designed.
B. Meulemeester, A. Bast, M. Royo et al.· PLoS Computational Biology· 0 citations
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…
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.
Microsoft Research Blog· microsoft.comOct 30, 2026
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.
Microsoft Research Blog· microsoft.comOct 29, 2026
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.