341 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Institut Polytechnique de ParisFR3 papers
- Los Alamos National LaboratoryUS3 papers
- Télécom SudParisFR3 papers
- ARM (United Kingdom)GB2 papers
- Intel (United Kingdom)GB2 papers
- Stanford UniversityUS2 papers
- Stony Brook UniversityUS2 papers
- The University of Texas at AustinUS2 papers
- Universitat Politècnica de CatalunyaES2 papers
- University of California San DiegoUS2 papers
- University of CambridgeGB2 papers
- University of RochesterUS2 papers
3 papers · 1 filter
Towards Human Engagement with Realistic AI Combat Pilots
Ardian Selmonaj, Giacomo Del Rio, Adrian Schneider +1
We present a system that enables real-time interaction between human users and agents trained to control fighter jets in simulated 3D air combat scenarios. The agents are trained i…
On Automating Proofs of Multiplier Adder Trees using the RTL Books
Mayank Manjrekar
We present an experimental, verified clause processor ctv-cp that fits into the framework used at Arm for formal verification of arithmetic hardware designs. This largely automates…
Ember: A Compiler for Efficient Embedding Operations on Decoupled Access-Execute Architectures
Marco Siracusa, Olivia Hsu, Victor Soria-Pardos +8
Irregular embedding lookups are a critical bottleneck in recommender models, sparse large language models, and graph learning models. In this paper, we first demonstrate that, by o…