Neural networks need to be able to understand mathematical reasoning -- LEAN / LeanDojo are critical steps in this path.
This team took LEAN and built an LLM out of it, they're hoping to Open Source soon
Post
Replies:
6
Mathematical equations govern the world at all scales, and there's a need for physical understanding, which is outside the language-based domain of modern LLMs
We need new neural operators that can handle physical, mathematical domains better.
Using lower-res translations and models considered harmful! Think: Hurricanes
#PyTorchCon TorchCon
The team has developed Physics-Informed Neural Operators (PINO).
Can more accurately predict phenomena like fluid dynamics (very cool demo that's hard to capture in text)
NeuralOperator is the group this work is based on, check them out on github. There will also be a poster at #PyTorchCon
Now on to success stories.
