Search: “software”

QED: An Open-Source Multi-Agent System for Generating Mathematical Proofs on Open Problems

arXiv:2604.24021v1 Announce Type: new Abstract: We explore a central question in AI for mathematics: can AI systems produce original, nontrivial proofs for open research problems? Despite strong bench

Content type

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

Tutorials

ReFinE: Streamlining UI Mockup Iteration with Research Findings

DGX agent

arXiv:2604.04353v2 Announce Type: replace-cross Abstract: Although HCI research papers offer valuable design insights, designers often struggle to apply them in design workflows due to difficulties in

tutorialsarxiv-cs-ai

28 Apr 2026

SeaEvo: Advancing Algorithm Discovery with Strategy Space Evolution

arXiv:2604.24372v1 Announce Type: cross Abstract: LLM-guided evolutionary search has emerged as a promising paradigm for automated algorithm discovery, yet most systems track search progress primarily

Self-Organising Memristive Networks as Physical Learning Systems

arXiv:2509.00747v2 Announce Type: replace-cross Abstract: Learning with physical systems is an emerging paradigm that seeks to harness the intrinsic nonlinear dynamics of physical substrates for learn

agentsarxiv-cs-lg

SMSI: System Model Security Inference: Automated Threat Modeling for Cyber-Physical Systems

arXiv:2604.23905v1 Announce Type: cross Abstract: Threat modeling for cyber-physical systems (CPS) remains a largely manual exercise. This project presents SMSI (System Model Security Inference), a hy

Tessera: Secure, Near-Line-Rate Weight Streaming for UMA Edge Accelerators

arXiv:2604.23205v1 Announce Type: cross Abstract: Deploying proprietary Deep Neural Networks (DNNs) on commodity edge devices demands hardware-backed Digital Rights Management (DRM) capable of withsta

Touchless Intraoperative Image Access System Based on Vision-Based Hand Tracking

arXiv:2604.24235v1 Announce Type: new Abstract: Touchless interaction with medical images is becoming increasingly important in the surgical field, where sterility and continuity of the operational wo

researcharxiv-cs-cv

WebSerial Vision Training for Microcontrollers: A Browser-Based Companion to On-Device CNN Training

model-releasesarxiv-cs-cv

arXiv:2604.22834v1 Announce Type: new Abstract: This paper presents webmcu-vision-web, a single-file, zero-install browser application for end-to-end TinyML vision model training and deployment on the

Adversarial Malware Generation in Linux ELF Binaries via Semantic-Preserving Transformations

arXiv:2604.22639v1 Announce Type: cross Abstract: Malware development and detection have undergone significant changes in recent years as modern concepts, such as machine learning, have been used for

Local Ai

Agentic World Modeling: Foundations, Capabilities, Laws, and Beyond

arXiv:2604.22748v1 Announce Type: new Abstract: As AI systems move from generating text to accomplishing goals through sustained interaction, the ability to model environment dynamics becomes a centra

local-aiarxiv-cs-ai

Call-Chain-Aware LLM-Based Test Generation for Java Projects

arXiv:2604.22046v1 Announce Type: cross Abstract: Large language models (LLMs) have recently shown strong potential for generating project-level unit tests. However, existing state-of-the-art approach

CrystalX: High-accuracy Crystal Structure Analysis Using Deep Learning

arXiv:2410.13713v2 Announce Type: replace Abstract: Atomic structure analysis of crystalline materials is a paramount endeavor in both chemical and material sciences. This sophisticated technique nece

Tutorials

GCImOpt: Learning efficient goal-conditioned policies by imitating optimal trajectories

arXiv:2604.22724v1 Announce Type: new Abstract: Imitation learning is a well-established approach for machine-learning-based control. However, its applicability depends on having access to demonstrati

tutorialsarxiv-cs-ro

NeuronMLP: Efficient LLM Inference via Singular Value Decomposition Compression and Tiling on AWS Trainium

arXiv:2510.25977v4 Announce Type: replace Abstract: Emerging AI accelerators have started to gain attention and offer new opportunities for efficient inference of large language models (LLMs). Trainiu

researcharxiv-cs-cl

Sound Agentic Science Requires Adversarial Experiments

arXiv:2604.22080v1 Announce Type: new Abstract: LLM-based agents are rapidly being adopted for scientific data analysis, automating tasks once limited by human time and expertise. This capability is o

Toward Automated Robustness Evaluation of Mathematical Reasoning

model-releasesarxiv-cs-cl

arXiv:2506.05038v2 Announce Type: replace Abstract: Large Language Models (LLMs) have demonstrated remarkable capabilities in various reasoning-intensive tasks. However, these models exhibit unexpecte

Architectures for Robust Self-Organizing Energy Systems under Information and Control Constraints

arXiv:2604.21529v1 Announce Type: cross Abstract: Applying the concept of controlled self-organization in agent-based Cyber-Physical Energy Systems (CPES) is a promising approach to ensure system robu

Co-Evolving LLM Decision and Skill Bank Agents for Long-Horizon Tasks

arXiv:2604.20987v1 Announce Type: new Abstract: Long horizon interactive environments are a testbed for evaluating agents skill usage abilities. These environments demand multi step reasoning, the cha

HWE-Bench: Benchmarking LLM Agents on Real-World Hardware Bug Repair Tasks

arXiv:2604.14709v2 Announce Type: replace Abstract: Existing benchmarks for hardware design primarily evaluate Large Language Models (LLMs) on isolated, component-level tasks such as generating HDL mo

Multi-Agent Empowerment and Emergence of Complex Behavior in Groups

arXiv:2604.21155v1 Announce Type: new Abstract: Intrinsic motivations are receiving increasing attention, i.e. behavioral incentives that are not engineered, but emerge from the interaction of an agen

NPU Design for Diffusion Language Model Inference

arXiv:2601.20706v2 Announce Type: replace-cross Abstract: Diffusion-based LLMs (dLLMs) fundamentally depart from traditional autoregressive (AR) LLM inference: they leverage bidirectional attention, b

On the Relationship between Bayesian Networks and Probabilistic Structural Causal Models

arXiv:2603.27406v2 Announce Type: replace Abstract: In this paper, the relationship between probabilistic graphical models, in particular Bayesian networks, and causal diagrams, also called structural

Post-AGI Economies: Autonomy and the First Fundamental Theorem of Welfare Economics

arXiv:2604.21216v1 Announce Type: cross Abstract: The First Fundamental Theorem of Welfare Economics assumes that welfare-bearing agents are autonomous and implicitly relies on a binary distinction be

Ternary Memristive Logic: Hardware for Reasoning Realized via Domain Algebra

arXiv:2604.20891v1 Announce Type: cross Abstract: Memristive crossbars store numerical weights needing aggregation and decoding; a single junction means nothing alone. This paper presents a fundamenta

The AI Criminal Mastermind

arXiv:2604.20868v1 Announce Type: cross Abstract: In this paper, I evaluate the risks of an AI criminal mastermind, an AI agent capable of planning, coordinating, and committing a crime through the on

Local Ai

Ufil: A Unified Framework for Infrastructure-based Localization

arXiv:2604.21471v1 Announce Type: new Abstract: Infrastructure-based localization enhances road safety and traffic management by providing state estimates of road users. Development is hindered by fra

local-aiarxiv-cs-ro

Auditing and Controlling AI Agent Actions in Spreadsheets

arXiv:2604.20070v1 Announce Type: cross Abstract: Advances in AI agent capabilities have outpaced users' ability to meaningfully oversee their execution. AI agents can perform sophisticated, multi-ste

Co-Located Tests, Better AI Code: How Test Syntax Structure Affects Foundation Model Code Generation

arXiv:2604.19826v1 Announce Type: cross Abstract: AI coding assistants increasingly generate code alongside tests. How developers structure test code, whether inline with the implementation or in sepa

CreativeGame:Toward Mechanic-Aware Creative Game Generation

arXiv:2604.19926v1 Announce Type: new Abstract: Large language models can generate plausible game code, but turning this capability into iterative creative improvement remains difficult. In practice,

CyberCertBench: Evaluating LLMs in Cybersecurity Certification Knowledge

arXiv:2604.20389v1 Announce Type: cross Abstract: The rapid evolution and use of Large Language Models (LLMs) in professional workflows require an evaluation of their domain-specific knowledge against

Early-Stage Product Line Validation Using LLMs: A Study on Semi-Formal Blueprint Analysis

arXiv:2604.20523v1 Announce Type: cross Abstract: We study whether Large Language Models (LLMs) can perform feature model analysis operations (AOs) directly on semi-formal textual blueprints, i.e., co

Safety

Efficiently Closing Loops in LiDAR-Based SLAM Using Point Cloud Density Maps

arXiv:2501.07399v2 Announce Type: replace Abstract: Consistent maps are key for most autonomous mobile robots, and they often use SLAM approaches to build such maps. Loop closures via place recognitio

safetyarxiv-cs-ro

MixLLM: LLM Quantization with Global Mixed-precision between Output-features and Highly-efficient System Design

model-releasesarxiv-cs-lg

arXiv:2412.14590v2 Announce Type: replace Abstract: Quantization has become one of the most effective methodologies to compress LLMs into smaller size. However, the existing quantization solutions sti

NanoCockpit: Performance-optimized Application Framework for AI-based Autonomous Nanorobotics

arXiv:2601.07476v2 Announce Type: replace Abstract: Autonomous nano-drones, powered by vision-based tiny machine learning (TinyML) models, are a novel technology gaining momentum thanks to their broad

agentsarxiv-cs-ro

Applications

On-Meter Graph Machine Learning: A Case Study of PV Power Forecasting for Grid Edge Intelligence

arXiv:2604.19800v1 Announce Type: cross Abstract: This paper presents a detailed study of how graph neural networks can be used on edge intelligent meters in a microgrid to forecast photovoltaic power

applicationsarxiv-cs-ai

pAI/MSc: ML Theory Research with Humans on the Loop

arXiv:2604.20622v1 Announce Type: new Abstract: We present pAI/MSc, an open-source, customizable, modular multi-agent system for academic research workflows. Our goal is not autonomous scientific idea

Text to model via SysML: Automated generation of dynamical system computational models from unstructured natural language text via enhanced System Modeling Language diagrams

arXiv:2507.06803v3 Announce Type: replace-cross Abstract: This paper contributes to speeding up the design and deployment of engineering dynamical systems by proposing a strategy for exploiting domain

Hardware

ARGUS: Agentic GPU Optimization Guided by Data-Flow Invariants

arXiv:2604.18616v1 Announce Type: cross Abstract: LLM-based coding agents can generate functionally correct GPU kernels, yet their performance remains far below hand-optimized libraries on critical co

hardwarearxiv-cs-ai

Evaluating LLM-Generated Obfuscated XSS Payloads for Machine Learning-Based Detection

arXiv:2604.19526v1 Announce Type: cross Abstract: Cross-site scripting (XSS) remains a persistent web security vulnerability, especially because obfuscation can change the surface form of a malicious

EvoMaster: A Foundational Evolving Agent Framework for Agentic Science at Scale

arXiv:2604.17406v2 Announce Type: replace Abstract: The convergence of large language models and agents is catalyzing a new era of scientific discovery: Agentic Science. While the scientific method is

Tutorials

Modelling and Analysing Behaviours and Emotions via Complex User Interactions

arXiv:1902.07683v1 Announce Type: cross Abstract: Over the past 15 years, the volume, richness and quality of data collected from the combined social networking platforms has increased beyond all expe

tutorialsarxiv-cs-ai

Refute-or-Promote: An Adversarial Stage-Gated Multi-Agent Review Methodology for High-Precision LLM-Assisted Defect Discovery

arXiv:2604.19049v1 Announce Type: cross Abstract: LLM-assisted defect discovery has a precision crisis: plausible-but-wrong reports overwhelm maintainers and degrade credibility for real findings. We

Tutorials

Relational AI in Education: Reciprocity, Participatory Design, and Indigenous Worldviews

arXiv:2604.19099v1 Announce Type: cross Abstract: Education is not merely the transmission of information or the optimisation of individual performance; it is a fundamentally social, constructive, and

tutorialsarxiv-cs-ai

Safety

RL-ABC: Reinforcement Learning for Accelerator Beamline Control

arXiv:2604.19146v1 Announce Type: new Abstract: Particle accelerator beamline optimization is a high-dimensional control problem traditionally requiring significant expert intervention. We present RLA

safetyarxiv-cs-lg

Thermal Anomaly Detection using Physics Aware Neuromorphic Networks: Comparison between Raw and L1C Sentinel-2 Data

arXiv:2604.18606v1 Announce Type: cross Abstract: Damage caused by bushfires and volcanic eruptions escalates rapidly when detection is delayed, making fast and reliable early warning capabilities ess

Volume Transformer: Revisiting Vanilla Transformers for 3D Scene Understanding

arXiv:2604.19609v1 Announce Type: new Abstract: Transformers have become a common foundation across deep learning, yet 3D scene understanding still relies on specialized backbones with strong domain p

researcharxiv-cs-cv

Adaptive Quantized Planetary Crater Detection System for Autonomous Space Exploration

arXiv:2508.18025v4 Announce Type: replace-cross Abstract: Autonomous planetary exploration demands real-time, high-fidelity environmental perception. Standard deep learning models require massive comp

agentsarxiv-cs-cv

21 Apr 2026

Automatic Dataset Construction (ADC): Sample Collection, Data Curation, and Beyond