Papers
Research papers from arXiv and related sources
Iterative McCormick Relaxation for Joint Impedance Control and Network Topology Optimization
Power system operators are increasingly deploying Variable Impedance Devices (VIDs), e.g., Smart Wires, and Network Topology Optimization (NTO) schemes for mitigating operational challenges such as...
Junseon Park, Hyeongon Park, Rahul K. Gupta
Lattice and Orbital-Resolved Fermiology of Metallenes
Atomically thin metallenes have emerged as a new member of the two-dimensional (2D) materials family. Recent experimental realization of metallenes in the Ångström limit has further intensified int...
Kameyab Raza Abidi, Mohammad Bagheri, Pekka Koskinen
PINEAPPLE: Physics-Informed Neuro-Evolution Algorithm for Prognostic Parameter Inference in Lithium-Ion Battery Electrodes
Accurate, real-time, yet non-destructive estimation of internal states in lithium-ion batteries is critical for predicting degradation, optimizing usage strategies, and extending operational lifesp...
Karkulali Pugalenthi, Jian Cheng Wong, Qizheng Yang, Pao-Hsiung Chiu, My Ha Dao, Nagarajan Raghav...
Decay of a multi-axionic SU(N) symmetric color aether in the early Universe as an origin of emergence of a many-component dark matter
We establish a new SU(N) symmetric model of interaction between the fields of four types: the multiplet of vector fields, which describes the so-called color aether, the multiplet of pseudoscalar f...
Alexander B. Balakin, Gleb B. Kiselev
Gradient Regularization Prevents Reward Hacking in Reinforcement Learning from Human Feedback and Verifiable Rewards
Reinforcement Learning from Human Feedback (RLHF) or Verifiable Rewards (RLVR) are two key steps in the post-training of modern Language Models (LMs). A common problem is reward hacking, where the ...
Johannes Ackermann, Michael Noukhovitch, Takashi Ishida, Masashi Sugiyama
Atrial Fibrillation Detection Using Machine Learning
Atrial fibrillation (AF) is a common cardiac arrhythmia and a major risk factor for ischemic stroke. Early detection of AF using non-invasive signals can enable timely intervention. In this work, w...
Ankit Singh, Vidhi Thakur, Nachiket Tapas
Separating Non-Interactive Classical Verification of Quantum Computation from Falsifiable Assumptions
Mahadev [SIAM J. Comput. 2022] introduced the first protocol for classical verification of quantum computation based on the Learning-with-Errors (LWE) assumption, achieving a 4-message interactive ...
Mohammed Barhoush, Tomoyuki Morimae, Ryo Nishimaki, Takashi Yamakawa
Decision Support under Prediction-Induced Censoring
In many data-driven online decision systems, actions determine not only operational costs but also the data availability for future learning -- a phenomenon termed Prediction-Induced Censoring (PIC...
Yan Chen, Ruyi Huang, Cheng Liu
Methods for Pitch Analysis in Contemporary Popular Music: Multiphonic Tones Across Genres
This study argues that electronic tones routinely used in contemporary popular music - including 808-style bass and power chords - are structurally and perceptually equivalent to multiphonics in co...
Emmanuel Deruty, David Meredith, Yann Macé, Luc Leroy, Dima Tsypkin, Pascal Arbez-Nicolas
Towards More Standardized AI Evaluation: From Models to Agents
Evaluation is no longer a final checkpoint in the machine learning lifecycle. As AI systems evolve from static models to compound, tool-using agents, evaluation becomes a core control function. The...
Ali El Filali, Inès Bedar
Observer-robust energy condition verification for warp drive spacetimes
We present \textbf{warpax}, an open-source, GPU-accelerated Python toolkit for observer-robust energy condition analysis of warp drive spacetimes. Existing tools evaluate energy conditions for a fi...
An T. Le
DeepSVU: Towards In-depth Security-oriented Video Understanding via Unified Physical-world Regularized MoE
In the literature, prior research on Security-oriented Video Understanding (SVU) has predominantly focused on detecting and localize the threats (e.g., shootings, robberies) in videos, while largel...
Yujie Jin, Wenxin Zhang, Jingjing Wang, Guodong Zhou
Towards LLM-centric Affective Visual Customization via Efficient and Precise Emotion Manipulating
Previous studies on visual customization primarily rely on the objective alignment between various control signals (e.g., language, layout and canny) and the edited images, which largely ignore the...
Jiamin Luo, Xuqian Gu, Jingjing Wang, Jiahong Lu
Flow Actor-Critic for Offline Reinforcement Learning
The dataset distributions in offline reinforcement learning (RL) often exhibit complex and multi-modal distributions, necessitating expressive policies to capture such distributions beyond widely-u...
Jongseong Chae, Jongeui Park, Yongjae Shin, Gyeongmin Kim, Seungyul Han, Youngchul Sung
Cosmic Acceleration from a Simultaneous Variation of Fundamental Constants
We discuss the possibility of a simultaneous cosmic variation of two fundamental entities: the Newtonian gravitational coupling $G$ and the electron mass $m_e$. We show that this variation can acco...
Malavika K, Soumya Chakrabarti
DeCEAT: Decoding Carbon Emissions for AI-driven Software Testing
The increasing use of language models in automated software testing raises concerns about their environmental impact, yet existing sustainability analyses focus almost exclusively on large language...
Pragati Kumari, Novarun Deb
NIMMGen: Learning Neural-Integrated Mechanistic Digital Twins with LLMs
Mechanistic models encode scientific knowledge about dynamical systems and are widely used in downstream scientific and policy applications. Recent work has explored LLM-based agentic frameworks to...
Zihan Guan, Rituparna Datta, Mengxuan Hu, Shunshun Liu, Aiying Zhang, Prasanna Balachandran, Shen...
Aurora: Neuro-Symbolic AI Driven Advising Agent
Academic advising in higher education is under severe strain, with advisor-to-student ratios commonly exceeding 300:1. These structural bottlenecks limit timely access to guidance, increase the ris...
Lorena Amanda Quincoso Lugones, Christopher Kverne, Nityam Sharadkumar Bhimani, Ana Carolina Oliv...
Turbo Connection: Reasoning as Information Flow from Higher to Lower Layers
Complex problems, whether in math, logic, or planning, are solved by humans through a sequence of steps where the result of one step informs the next. In this work, we adopt the perspective that th...
Mohan Tang, Sidi Lu
WorkflowPerturb: Calibrated Stress Tests for Evaluating Multi-Agent Workflow Metrics
LLM-based systems increasingly generate structured workflows for complex tasks. In practice, automatic evaluation of these workflows is difficult, because metric scores are often not calibrated, an...
Madhav Kanda, Pedro Las-Casas, Alok Gautam Kumbhare, Rodrigo Fonseca, Sharad Agarwal