500 citations
- University of California, Los AngelesUS45 papers
- California Institute of TechnologyUS25 papers
- University of California, BerkeleyUS19 papers
- Princeton UniversityUS14 papers
- Berkeley CollegeUS13 papers
- Michigan Science CenterUS11 papers
- Center for Astrophysics Harvard & SmithsonianUS10 papers
- Fermi National Accelerator LaboratoryUS9 papers
- Johns Hopkins UniversityUS9 papers
- Moscow Institute of Thermal TechnologyRU9 papers
- The University of Texas at AustinUS9 papers
- University of ArizonaUS9 papers
12 papers · 1 filter
The First Interstellar Astronauts Will Not Be Human
Stephen Lantin, Sophie Mendell, Ghassan Akkad +9
Our ability to explore the cosmos by direct contact has been limited to a small number of lunar and interplanetary missions. However, the NASA Starlight program points a path forwa…
On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI
Adnan Darwiche, Pierre Marquis
Quantified Boolean logic results from adding operators to Boolean logic for existentially and universally quantifying variables. This extends the reach of Boolean logic by enabling…
BBRv2+:Towards Balancing Aggressiveness and Fairness with Delay-based Bandwidth Probing
Furong Yang, Qinghua Wu, Zhenyu Li +3
BBRv2, proposed by Google, aims at addressing BBR's shortcomings of unfairness against loss-based congestion control algorithms (CCAs) and excessive retransmissions in shallow-buff…
Revelio: ML-Generated Debugging Queries for Distributed Systems
Pradeep Dogga, Karthik Narasimhan, Anirudh Sivaraman +3
A major difficulty in debugging distributed systems lies in manually determining which of the many available debugging tools to use and how to query its logs. Our own study of a pr…
Randomized Exploration for Reinforcement Learning with General Value Function Approximation
Haque Ishfaq, Qiwen Cui, Viet Nguyen +5
We propose a model-free reinforcement learning algorithm inspired by the popular randomized least squares value iteration (RLSVI) algorithm as well as the optimism principle. Unlik…
Dorylus: Affordable, Scalable, and Accurate GNN Training with Distributed CPU Servers and Serverless Threads
John Thorpe, Yifan Qiao, Jonathan Eyolfson +8
A graph neural network (GNN) enables deep learning on structured graph data. There are two major GNN training obstacles: 1) it relies on high-end servers with many GPUs which are e…