Lifting E-Graphs: A Function Isn't a Constant

(arxiv.org)

3 points | by matt_d 11 hours ago ago