← Search

David Brown

3 accepted papers

2025

HARDMath2: A Benchmark for Applied Mathematics Built by Students as Part of a Graduate Class

NeurIPS 2025poster

Large language models (LLMs) have shown remarkable progress in mathematical problem-solving, but evaluation has largely focused on problems that have exact analytical solutions or involve formal proofs, often overlooking approximation-based problems ubiquitous in applied science and engineering. To…

Cited by 0SourcecodeScholar
2024

Multi-Robot Navigation Among Movable Obstacles: Implicit Coordination to Deal with Conflicts and Deadlocks

IROS 2024poster

How to coordinate multiple robots moving in modifiable cluttered environments? In this paper, we introduce the multi-robot version of the NAMO problem (Navigation Among Movable Obstacles). In MR-NAMO, robots must not only plan for the possibility of displacing obstacles as needed to facilitate their…

Cited by 1SourceScholar
2023

A Weakly Supervised Classifier and Dataset of White Supremacist Language

ACL 2023short

We present a dataset and classifier for detecting the language of white supremacist extremism, a growing issue in online hate speech. Our weakly supervised classifier is trained on large datasets of text from explicitly white supremacist domains paired with neutral and anti-racist data from similar…