Ward: Education

111

Optimal Verification of a Minimum-Weight Basis in an Uncertainty Matroid

arXiv:2512.17116v1 Announce Type: new
Abstract: Research in explorable uncertainty addresses combinatorial optimization problems where there is partial information about the values of numeric input parameters, and exact values of these parameters can be determined by performing costly queries. The …

222

Boosting Revisited: Benchmarking and Advancing LP-Based Ensemble Methods

arXiv:2507.18242v3 Announce Type: replace
Abstract: Despite their theoretical appeal, totally corrective boosting methods based on linear programming have received limited empirical attention. In this paper, we conduct the first large-scale experimental study of six LP-based boosting formulations, …

109

RadarGen: Automotive Radar Point Cloud Generation from Cameras

arXiv:2512.17897v1 Announce Type: new
Abstract: We present RadarGen, a diffusion model for synthesizing realistic automotive radar point clouds from multi-view camera imagery. RadarGen adapts efficient image-latent diffusion to the radar domain by representing radar measurements in bird's-eye-view …

111

This AI finds simple rules where humans see only chaos

A new AI developed at Duke University can uncover simple, readable rules behind extremely complex systems. It studies how systems evolve over time and reduces thousands of variables into compact equations that still capture real behavior. The method works across physics, engineering, climate science…

331

Mr.MSTE: Multi-robot Multi-Source Term Estimation with Wind-Aware Coverage Control

arXiv:2512.17001v1 Announce Type: new
Abstract: This paper presents a Multi-Robot Multi-Source Term Estimation (MRMSTE) framework that enables teams of mobile robots to collaboratively sample gas concentrations and infer the parameters of an unknown number of airborne releases. The framework is bui…

221

Accelerating Hybrid Model Predictive Control using Warm-Started Generalized Benders Decomposition

arXiv:2406.00780v2 Announce Type: replace
Abstract: Hybrid model predictive control with both continuous and discrete variables is widely applicable to robotic control tasks, especially those involving contacts with the environment. Due to combinatorial complexity, the solving speed of hybrid MPC c…

111

GraphCompNet: A Position-Aware Model for Predicting and Compensating Shape Deviations in 3D Printing

arXiv:2502.09652v3 Announce Type: replace
Abstract: Shape deviation modeling and compensation in additive manufacturing are pivotal for achieving high geometric accuracy and enabling industrial-scale production. Critical challenges persist, including generalizability across complex geometries and a…

222

ATRO: A Fast Algorithm for Topology Engineering of Reconfigurable Datacenter Networks

arXiv:2507.13717v3 Announce Type: replace
Abstract: Reconfigurable data center networks (DCNs) enhance traditional architectures with optical circuit switches (OCSs), enabling dynamic reconfiguration of inter-pod links, i.e., the logical topology. Optimizing this topology is crucial for adapting to…

322

Asymptotic behaviour of galactic small-scale dynamos at modest magnetic Prandtl number

arXiv:2512.17885v1 Announce Type: cross
Abstract: Magnetic fields are critical at many scales to galactic dynamics and structure, including multiphase pressure balance, dust processing, and star formation. Dynamo action determines their dynamical structure and strength. Simulations of combined larg…

111

Bizarre Plants That Quit Photosynthesis Still Find a Way to Thrive

A bizarre group of underground plants shows how life can thrive even after abandoning sunlight and sex. Not all plants are green or rely on sexual reproduction, and these exceptions can reveal surprising insights into what it really means to be a plant. A new study involving researchers from Kobe Un…

329

SGCR: A Specification-Grounded Framework for Trustworthy LLM Code Review

arXiv:2512.17540v1 Announce Type: new
Abstract: Automating code review with Large Language Models (LLMs) shows immense promise, yet practical adoption is hampered by their lack of reliability, context-awareness, and control. To address this, we propose Specification-Grounded Code Review (SGCR), a f…

119

GraphCue for SDN Configuration Code Synthesis

arXiv:2512.17371v1 Announce Type: new
Abstract: We present GraphCue, a topology-grounded retrieval and agent-in-the-loop framework for automated SDN configuration. Each case is abstracted into a JSON graph and embedded using a lightweight three-layer GCN trained with contrastive learning. The neare…

109

A Post-Quantum Secure End-to-End Verifiable E-Voting Protocol Based on Multivariate Polynomials

arXiv:2512.17613v1 Announce Type: new
Abstract: Voting is a primary democratic activity through which voters select representatives or approve policies. Conventional paper ballot elections have several drawbacks that might compromise the fairness, effectiveness, and accessibility of the voting proc…

430

Analytical Stackelberg Resource Allocation in Sequential Attacker--Defender Games

arXiv:2512.17284v1 Announce Type: new
Abstract: We develop an analytical Stackelberg game framework for optimal resource allocation in a sequential attacker--defender setting with a finite set of assets and probabilistic attacks. The defender commits to a mixed protection strategy, after which the …

221

A traditional Brazilian plant shows unexpected strength against arthritis

A Brazilian study has confirmed that Joseph’s Coat, a plant used for generations in folk medicine, can significantly reduce inflammation and arthritis symptoms in lab tests. Researchers observed less swelling, healthier joints, and signs of tissue protection. Just as important, the extract showed a …

233

Cooperative Energy Scheduling of Multi-Microgrids Based on Risk-Sensitive Reinforcement Learning

arXiv:2512.17246v1 Announce Type: new
Abstract: With the rapid development of distributed renewable energy, multi-microgrids play an increasingly important role in improving the flexibility and reliability of energy supply. Reinforcement learning has shown great potential in coordination strategies…

342

A Practical Solution to Systematically Monitor Inconsistencies in SBOM-based Vulnerability Scanners

arXiv:2512.17710v1 Announce Type: new
Abstract: Software Bill of Materials (SBOM) provides new opportunities for automated vulnerability identification in software products. While the industry is adopting SBOM-based Vulnerability Scanning (SVS) to identify vulnerabilities, we increasingly observe i…

111

Fine-Tuning Masked Diffusion for Provable Self-Correction

arXiv:2510.01384v3 Announce Type: replace
Abstract: A natural desideratum for generative models is self-correction--detecting and revising low-quality tokens at inference. While Masked Diffusion Models (MDMs) have emerged as a promising approach for generative modeling in discrete spaces, their cap…

109

EMAG: Self-Rectifying Diffusion Sampling with Exponential Moving Average Guidance

arXiv:2512.17303v1 Announce Type: new
Abstract: In diffusion and flow-matching generative models, guidance techniques are widely used to improve sample quality and consistency. Classifier-free guidance (CFG) is the de facto choice in modern systems and achieves this by contrasting conditional and u…

329

Task Schema and Binding: A Double Dissociation Study of In-Context Learning

arXiv:2512.17325v1 Announce Type: new
Abstract: We provide causal mechanistic validation that in-context learning (ICL) decomposes into two separable mechanisms: Task Schema (abstract task type recognition) and Binding (specific input-output associations). Through activation patching experiments ac…