Edward A. Lee

2 accepted papers

2025

HPRM: High-Performance Robotic Middleware for Intelligent Autonomous Systems

Jacky Kwok, Shulu Li, Marten Lohstroh, Edward A. Lee

ICRA 2025

The rise of intelligent autonomous systems, especially in robotics and autonomous agents, has created a critical need for robust communication middleware that can ensure real-time processing of extensive sensor data. Current robotics middleware like Robot Operating System (ROS) 2 faces challenges wi

Cited by 4 Source ↗code ↗Scholar ↗

2020

Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning

Gil Lederman, Markus Rabe, Sanjit Seshia, Edward A. Lee

ICLR 2020poster

We demonstrate how to learn efficient heuristics for automated reasoning algorithms for quantified Boolean formulas through deep reinforcement learning. We focus on a backtracking search algorithm, which can already solve formulas of impressive size - up to hundreds of thousands of variables. The ma…

Cited by 41 Source ↗Scholar ↗