firstbacksecondback
4 Results
|
Workshop
|
Discovering Lyapunov functions with transformers Alberto Alfarano · Francois Charton · Amaury Hayat |
||
|
Workshop
|
SIRD: Symbolic Integration Rules Dataset Vaibhav Sharma · Abhinav Nagpal · Muhammed Fatih Balin |
||
|
Workshop
|
Solving Math Word Problems by Combining Language Models With Symbolic Solvers Joy He-Yueya · Gabriel Poesia · Rose Wang · Noah Goodman |
||
|
Workshop
|
SNIP: Bridging Mathematical Symbolic and Numeric Realms with Unified Pre-training Kazem Meidani · Kazem Meidani · Parshin Shojaee · Parshin Shojaee · Chandan Reddy · Chandan Reddy · Amir Barati Farimani |