@misc{indiciae960ec069ad77, title = {Efficient CHAD}, author = {Tom Smeding and Matthijs Vákár}, year = {2023}, doi = {10.1145/3632878}, url = {https://arxiv.org/abs/2307.05738}, note = {Source identifier: 2307.05738} }