arXiv subjects

Daniel Frank

Publications and source records attributed to Daniel Frank.

5 recordsLinked to original sources

arXiv2026

PCFBench: A Diagnostic Benchmark for Product Carbon Footprint Estimation

AI systems are being deployed on high-stakes, domain-specific workflows that demand correctness not just in the final output, but at every intermediate step. One such workflow is estimating a product carbon footprint (PCF), the greenhouse-gas emissions attributable to a physical product. AI agents are increasingly being used to generate PCFs, but existing evaluations score either total emissions (hiding error sources and cancelling mistakes) or sub-tasks in isolation (missing compositional interactions). We introduce PCFBench, the first benchmark to carve PCF modeling into independently-evaluable tasks that require decomposition, retrieval, ontology matching, and numerical extraction. It comprises 614 expert-labelled items across six tasks. Together they probe reasoning under under-specification, conflicting context, and numerical constraints. Across eight frontier LLMs from four providers, no single model dominates. Although the strongest models estimate total product emissions within 2 times of declared totals on 77% of products, this rate drops to 37-58% when the PCF is generated step by step, with only 45-75% obeying mass conservation. These failures undermine the transparency practitioners need to compare products and drive decarbonization. We release the dataset and evaluation harness to support targeted progress.

cs.AI↗

arXiv2026

Learning the dynamics of nonlinear systems with regional stability guarantees through linear matrix inequality constraints

This paper presents a method that learns a regionally stable recurrent neural network model from a set of input-output data generated by an unknown dynamical system. Relying on generalized sector conditions on the deadzone activation function, we first derive sufficient conditions that guarantee forward invariance on a compact set of the state space for any inputs from a given set. Such regional properties lead to less conservative conditions compared to variants that offer a global form of stability, and are in line with the system data that is only observed regionally. Our learning method derives conditions for regional stability using a barrier function approach, leading to models equipped with a certificate of regional stability in a subset of the state space and for a given input set. We illustrate our theoretical result with a numerical example and compare it to methods that impose a global form of stability, which fail to identify the system, and with a method that imposes no stability constraints at all, which does not guarantee a stable behavior within any state or input set.

eess.SY↗

arXiv2023

SCENE: Reasoning about Traffic Scenes using Heterogeneous Graph Neural Networks

Understanding traffic scenes requires considering heterogeneous information about dynamic agents and the static infrastructure. In this work we propose SCENE, a methodology to encode diverse traffic scenes in heterogeneous graphs and to reason about these graphs using a heterogeneous Graph Neural Network encoder and task-specific decoders. The heterogeneous graphs, whose structures are defined by an ontology, consist of different nodes with type-specific node features and different relations with type-specific edge features. In order to exploit all the information given by these graphs, we propose to use cascaded layers of graph convolution. The result is an encoding of the scene. Task-specific decoders can be applied to predict desired attributes of the scene. Extensive evaluation on two diverse binary node classification tasks show the main strength of this methodology: despite being generic, it even manages to outperform task-specific baselines. The further application of our methodology to the task of node classification in various knowledge graphs shows its transferability to other domains.

cs.CV↗

arXiv2022

Robust Recurrent Neural Network to Identify Ship Motion in Open Water with Performance Guarantees -- Technical Report

Recurrent neural networks are capable of learning the dynamics of an unknown nonlinear system purely from input-output measurements. However, the resulting models do not provide any stability guarantees on the input-output mapping. In this work, we represent a recurrent neural network as a linear time-invariant system with nonlinear disturbances. By introducing constraints on the parameters, we can guarantee finite gain stability and incremental finite gain stability. We apply this identification method to learn the motion of a four-degrees-of-freedom ship that is moving in open water and compare it against other purely learning-based approaches with unconstrained parameters. Our analysis shows that the constrained recurrent neural network has a lower prediction accuracy on the test set, but it achieves comparable results on an out-of-distribution set and respects stability conditions.

cs.LG↗

arXiv2013

A Systematic Approach for Interference Alignment in CSIT-less Relay-Aided X-Networks

The degrees of freedom (DoF) of an X-network with M transmit and N receive nodes utilizing interference alignment with the support of $J$ relays each equipped with $L_j$ antennas operating in a half-duplex non-regenerative mode is investigated. Conditions on the feasibility of interference alignment are derived using a proper transmit strategy and a structured approach based on a Kronecker-product representation. The advantages of this approach are twofold: First, it extends existing results on the achievable DoF to generalized antenna configurations. Second, it unifies the analysis for time-varying and constant channels and provides valuable insights and interconnections between the two channel models. It turns out that a DoF of $\nicefrac{NM}{M+N-1}$ is feasible whenever the sum of the $L_j^2 \geq [N-1][M-1]$.

cs.IT↗