Search: “software”

arXiv:2609.21264v1 Announce Type: cross Abstract: Spatial NPUs such as AMD XDNA place compute tiles beside small local memories and leave data movement between them to software. Mapping a multi-stage

arXiv:2609.21190v1 Announce Type: cross Abstract: Ensuring the correctness of LLM-generated code is a core challenge for modern software engineering. Benchmarks for agentic code generation check corre

Hi all! i am currently working as a software engineer for a pretty big enterprise fintech company here in the states. In the the last 12 months at my job there has been a huge push for developers to u

Note: This writeup was put together with the help of AI. So I've got dual AMD MI50 32GB cards. If you know these cards, you know the story - AMD dropped official ROCm support for gfx906 after ROCm 5.7

arXiv:2609.20804v1 Announce Type: new Abstract: Coding harnesses shape how autonomous coding agents translate model capabilities into long-horizon software-engineering performance, yet existing work t

arXiv:2609.20614v1 Announce Type: cross Abstract: Frontier AI models are rapidly gaining the ability to exploit vulnerabilities in complex pieces of software. The risk is not theoretical, as evidenced

arXiv:2609.19125v1 Announce Type: cross Abstract: Computer-use agents increasingly operate software designed for people, but interfaces often leave actions or task state unclear to machine readers. We

Nvidia Corp., Google LLC and software startup Emerald AI Inc. have formed an industry consortium to promote the construction of flexible data centers. The AI Energy Management Alliance, or AEMA, offic

arXiv:2609.18291v1 Announce Type: cross Abstract: Use case flows are important elements of use case modeling because they support downstream software engineering activities, including requirements ana

arXiv:2609.16635v1 Announce Type: new Abstract: Computer-use agents increasingly operate browsers, software, and desktop applications via CLI or API portals, but graphical user interface (GUI) still p

Artificial intelligence agents have become table stakes in enterprise software, but in financial reporting, audit and compliance, speed counts for little if the output cannot be defended. That gap bet

Industrial artificial intelligence startup Noetive formally launched today with 41 million in seed funding. Its software learns how a factory floor or a freight operation runs day to day, and the comp

System performance, efficient infrastructure scaling and continuous software optimization are key levers that determine AI inference economics. Higher system performance means more tokens generated, r

Today everyone is talking about Recursive Self-Improvement (RSI). In 1987, when compute was 100,000,000 x more expensive, I published the 1st concrete RSI algorithms. Now compute is cheap, and RSI is

arXiv:2609.17338v1 Announce Type: cross Abstract: Software clones are fragments of code that are similar or functionally equivalent to each other. They pose significant challenges for maintenance, ref

arXiv:2609.15478v1 Announce Type: new Abstract: Multimodal agents can create complex videos in software such as Blender by coding without relying on diffusion models. Yet video understanding benchmark

arXiv:2609.14121v1 Announce Type: new Abstract: The Semantic Web set out to give information a machine-interpretable form so that software could integrate and reason over it. Its standards became scie

Rashi Shrivastava / Forbes: TypeSafe AI, which is developing a model that outputs numerical responses with probability estimates to help businesses assess reliability, raised a $40M seed — Former Open

arXiv:2609.15939v1 Announce Type: cross Abstract: Language-model agents increasingly operate over complete software repositories, yet cybersecurity evaluations primarily measure whether they can detec

Software delivery platform company Akuity Inc. today introduced Agentic Control Plane, a layer that lets artificial intelligence agents read its pipeline data and act on it under the permissions the p

Boris Cherny announced on September 14, 2026 that the software *Fable* had cracked the 370‑year‑old Cyphral Distich cipher. The claim was posted via Vals AI’s platform and highlighted a demonstration

arXiv:2609.11987v1 Announce Type: cross Abstract: An agentic coding system couples a language model to a harness: the tools, prompts and control flow that turn a chat model into an autonomous software

I talked to Sid & Robert about building Claude Code: how much things have changed, how hard it's been to keep up with model capabilities and also what we miss about software engineering before AI. htt

OpenAI Group PBC has apparently bought smartphone camera software startup Glass Imaging Inc. for more than 300 million in a deal first reported today by The Wall Street Journal. Neither company has co

**Summary for AI knowledge base** Vera Rubin NVL72 is a co‑designed platform combining the Rubin GPU, Vera CPU, NVLink 6 Switch, ConnectX‑9, BlueField‑4, and Spectrum‑6, targeting agentic inference wo

If you showed me Claude Code today in 2018, I would have thought it was AGI. We have already absorbed a dramatic amount of change in the profession of software engineering and society as a whole. But

arXiv:2604.00280v2 Announce Type: replace-cross Abstract: Formal specifications play a central role in ensuring software reliability, yet automatically synthesizing high-quality specifications remains

arXiv:2609.07586v1 Announce Type: new Abstract: Software repositories contain vast amounts of data on code contributions, bug reports, and project activities, yet this information remains challenging

arXiv:2508.04125v2 Announce Type: replace-cross Abstract: The application of Large Language Models (LLMs) is growing in the productive completion of Software Engineering tasks. Yet, studies investigat

arXiv:2609.07925v2 Announce Type: new Abstract: We present FrogNano, a 4B coding agent designed to tackle software engineering (SWE) tasks efficiently and effectively, even under resource-constrained

arXiv:2503.19599v3 Announce Type: replace-cross Abstract: While software requirements are often expressed in natural language, verifying the correctness of a program against such requirements is a har

Business planning software provider Pigment SAS today introduced an AI-powered interface builder that lets users create data-entry forms, scenario planners and executive presentations using natural-la

arXiv:2609.07290v1 Announce Type: cross Abstract: The rapid digital transformation of manufacturing, often referred to as Industry 4.0, relies on seamless interoperability between physical and softwar

arXiv:1706.04580v3 Announce Type: replace Abstract: The design and organization of complex robotic systems traditionally requires laborious trial-and-error processes to ensure both hardware and softwa

Enterprise security startup Cymphony Inc. formally launched today with 30 million in funding and software that tracks what artificial intelligence agents and employees can reach inside company systems

Adobe is overhauling how editors interact with AI in its Premiere professional video editing software. Its new Generative Media tool makes it easier to generate video, sound effects, music, and sounds

so it was the harness not the model. more sneaky games with unacknowledged domain-specific neurosymbolic AI doing the real work. OpenAI published 99.9%. The benchmark's own software returned 62.7%. Sa

arXiv:2609.04513v1 Announce Type: cross Abstract: Compound AI workflows are increasingly used to serve complex AI tasks by coordinating multiple AI models and software components. This approach enable

arXiv:2609.04611v1 Announce Type: new Abstract: LLM agents are rapidly becoming production software, deployed to handle customer service, adjudicate disputes, and operate internal systems. Notably, th

arXiv:2609.05364v1 Announce Type: cross Abstract: Machine-learning performance modeling is a uniquely hostile terrain for long-lived software: the assumptions baked into today's abstractions are inval

arXiv:2609.05060v1 Announce Type: cross Abstract: As quantum hardware scales to larger devices, the classical software layers that interface with it must evolve in step. Postprocessing routines develo

arXiv:2609.04476v1 Announce Type: new Abstract: Performance modeling is central to hardware design and software optimization, yet constructing these models requires structured reasoning about computat

arXiv:2606.17398v2 Announce Type: replace-cross Abstract: Binary reversing is fundamental to software understanding, vulnerability discovery, malware investigation, and firmware auditing. However, it

arXiv:2609.05335v1 Announce Type: cross Abstract: Public vulnerability databases collect rich information about known software flaws, including their weakness types, affected components, and related p

Anyone who has a 3D printer and get use of it finds it incredibly useful for those odd jobs around the house, a missing bracket, a cable router, steam deck holder and so on. In the past if I was missi

arXiv:2609.03787v1 Announce Type: new Abstract: AI agents increasingly gather evidence, invoke tools, apply constraints, and produce decisions that people or software may commit to action. A final out