TY  - RPRT
TI  - Target-Aware Implementation of Real Expressions
AU  - Brett Saiki
AU  - Jackson Brough
AU  - Jonas Regehr
AU  - Jesús Ponce
AU  - Varun Pradeep
AU  - Aditya Akhileshwaran
AU  - Zachary Tatlock
AU  - Pavel Panchekha
PY  - 2024
UR  - https://arxiv.org/abs/2410.14025
ID  - 2410.14025
ER  -