|
Poster
|
Tue 14:00 |
ELASTIC: Numerical Reasoning with Adaptive Symbolic Compiler Jiaxin Zhang · Yashar Moshfeghi |
|
|
Workshop
|
Lemma: Bootstrapping High-Level Mathematical Reasoning with Learned Symbolic Abstractions Zhening Li · Gabriel Poesia Reis e Silva · Omar Costilla Reyes · Noah Goodman · Armando Solar-Lezama |