:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Ajeleye, Daniel, Trivedi, Ashutosh, Zamani, Majid
Format:	Preprint
Published:	2025
Subjects:	Machine Learning
Online Access:	https://arxiv.org/abs/2508.14093
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Transfer of Safety Controllers Through Learning Deep Inverse Dynamics Model
by: Nadali, Alireza, et al.
Published: (2024)

Data-driven Construction of Finite Abstractions for Interconnected Systems: A Compositional Approach
by: Ajeleye, Daniel, et al.
Published: (2024)

Transfer Learning for Control Systems via Neural Simulation Relations
by: Nadali, Alireza, et al.
Published: (2024)

Show, Don't Tell: Learning Reward Machines from Demonstrations for Reinforcement Learning-Based Cardiac Pacemaker Synthesis
by: Komp, John, et al.
Published: (2024)

Closure Certificates
by: Murali, Vishnu, et al.
Published: (2023)

Co-Buchi Barrier Certificates for Discrete-time Dynamical Systems
by: Murali, Vishnu, et al.
Published: (2023)

MetaSort: An Accelerated Approach for Non-uniform Compression and Few-shot Classification of Neural Spike Waveforms
by: Meyer, Luca M., et al.
Published: (2026)

A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs
by: Perez, Mateo, et al.
Published: (2023)

Monotone Neural Barrier Certificates
by: Jafarpour, Saber, et al.
Published: (2025)

HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
by: Murali, Vishnu, et al.
Published: (2026)

On-the-Go Path Planning and Repair in Static and Dynamic Scenarios
by: Ajeleye, Daniel
Published: (2024)

Robustness Certificates for Neural Networks against Adversarial Attacks
by: Taheri, Sara, et al.
Published: (2025)

Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes
by: Oumer, Mohammed Adib, et al.
Published: (2025)

Reinforcement Learning with Symbolic Reward Machines
by: Krug, Thomas, et al.
Published: (2026)

Reinforcement Learning with Stochastic Reward Machines
by: Corazza, Jan, et al.
Published: (2025)

KV-Fold: One-Step KV-Cache Recurrence for Long-Context Inference
by: Nadali, Alireza, et al.
Published: (2026)

On the Need to Align Intent and Implementation in Uncertainty Quantification for Machine Learning
by: Trivedi, Shubhendu, et al.
Published: (2025)

Fairness Testing through Extreme Value Theory
by: Monjezi, Verya, et al.
Published: (2025)

Multilingual LLMs Inherently Reward In-Language Time-Sensitive Semantic Alignment for Low-Resource Languages
by: Bajpai, Ashutosh, et al.
Published: (2024)

Knowledge-Informed Auto-Penetration Testing Based on Reinforcement Learning with Reward Machine
by: Li, Yuanliang, et al.
Published: (2024)

Neural Reward Machines
by: Umili, Elena, et al.
Published: (2024)

Numeric Reward Machines
by: Levina, Kristina, et al.
Published: (2024)

Uncertainty-Aware Diagnostics for Physics-Informed Machine Learning
by: Daniels, Mara, et al.
Published: (2025)

MechProNet: Machine Learning Prediction of Mechanical Properties in Metal Additive Manufacturing
by: Akbari, Parand, et al.
Published: (2022)

Learning Robust Reward Machines from Noisy Labels
by: Parac, Roko, et al.
Published: (2024)

A Novel Pearson Correlation-Based Merging Algorithm for Robust Distributed Machine Learning with Heterogeneous Data
by: Rahmat, Mohammad Ghabel, et al.
Published: (2025)

Physics-Informed Extreme Learning Machine (PIELM): Opportunities and Challenges
by: Yang, He, et al.
Published: (2025)

Physics-Informed Machine Learning On Polar Ice: A Survey
by: Liu, Zesheng, et al.
Published: (2024)

On the Limits of Interpretable Machine Learning in Quintic Root Classification
by: Thomas, Rohan, et al.
Published: (2026)

Reward Machine Inference for Robotic Manipulation
by: Baert, Mattijs, et al.
Published: (2024)

Physics-Informed Machine Learning for Transformer Condition Monitoring -- Part II: Physics-Informed Neural Networks and Uncertainty Quantification
by: Aizpurua, Jose I.
Published: (2025)

Drug Repurposing Targeting COVID-19 3CL Protease using Molecular Docking and Machine Learning Regression Approach
by: Aqeel, Imra, et al.
Published: (2023)

When do complex-valued neural networks help? A study of representation, geometry, and optimization
by: Kumar, Ashutosh
Published: (2026)

Predicting Fairness of ML Software Configurations
by: Herrera, Salvador Robles, et al.
Published: (2024)

Monotonicity as an Architectural Bias for Robust Language Models
by: Cooper, Patrick, et al.
Published: (2026)

Green Physics-Informed Machine Learning Models For Structural Health Monitoring
by: Bradley, Daisy R, et al.
Published: (2026)

A PAC-Bayesian View of Generalisation for Physics-Informed Machine Learning
by: Nguyen, Thien V., et al.
Published: (2026)

Fully Learnable Neural Reward Machines
by: Dewidar, Hazem, et al.
Published: (2025)

Uncovering Discrimination Clusters: Quantifying and Explaining Systematic Fairness Violations
by: Akash, Ranit Debnath, et al.
Published: (2025)

Retrieval-Enhanced Machine Learning: Synthesis and Opportunities
by: Kim, To Eun, et al.
Published: (2024)