firstbacksecondback
44 Results
|
Workshop
|
Discovering Lyapunov functions with transformers Alberto Alfarano · Francois Charton · Amaury Hayat |
||
|
Workshop
|
Interpretable Neural PDE Solvers using Symbolic Frameworks Yolanne Lee · Yolanne Lee |
||
|
Workshop
|
SIRD: Symbolic Integration Rules Dataset Vaibhav Sharma · Abhinav Nagpal · Muhammed Fatih Balin |
||
|
Workshop
|
Learning Generalizable Symbolic Options for Transfer in Reinforcement Learning Rashmeet Kaur Nayyar · Shivanshu Verma · Siddharth Srivastava |
||
|
Workshop
|
Learning AI-System Capabilities under Stochasticity Pulkit Verma · Rushang Karia · Gaurav Vipat · Anmol Gupta · Siddharth Srivastava |
||
|
Workshop
|
GFN-SR: Symbolic Regression with Generative Flow Networks Sida Li · Ioana Marinescu · Sebastian Musslick |
||
|
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 |