← Search

Qinru Qiu

4 accepted papers

2026

SafeNet: A Neural-Symbolic Network for Safe Planning in Robotic Systems Using Formal Method-Guided LLM Fine-Tuning

ICRA 2026poster

Robotic systems present unique safety challenges due to their complex integration of computational and physical processes and direct interaction with humans and environments. Traditional approaches to robot safety planning either rely on conventional methods, which struggle with the complexity of mo…

Cited by 0Scholar
2025

Why the Agent Made that Decision: Contrastive Explanation Learning for Reinforcement Learning

IJCAI 2025

Reinforcement learning (RL) has demonstrated remarkable success in solving complex decision-making problems, yet its adoption in critical domains is hindered by the lack of interpretability in its decision-making processes. Existing explainable AI (xAI) approaches often fail to provide meaningful ex

Cited by 0SourcePDFScholar
2024

Improved Efficiency Based on Learned Saccade and Continuous Scene Reconstruction From Foveated Visual Sampling

ICLR 2024spotlight

High accuracy, low latency and high energy efficiency represent a set of contradictory goals when searching for system solutions for image classification and detection. While high-quality images naturally result in more precise detection and classification, they also result in a heavier computation…

Cited by 5SourcePDFScholar
2020

Exploiting Neuron and Synapse Filter Dynamics in Spatial Temporal Learning of Deep Spiking Neural Network

IJCAI 2020poster

The recently discovered spatial-temporal information processing capability of bio-inspired Spiking neural networks (SNN) has enabled some interesting models and applications. However designing large-scale and high-performance model is yet a challenge due to the lack of robust training algorithms. A…