
Scaling mathematical reasoning through data, tools, and generative selection. ~ Ivan Moshkov et als. https://openreview.net/forum?id=OM7ZN0PmSS #LLMs#ITP#LeanProver#Math
Scaling mathematical reasoning through data, tools, and generative selection. ~ Ivan Moshkov et als. https://openreview.net/forum?id=OM7ZN0PmSS #LLMs#ITP#LeanProver#Math
Scaling mathematical reasoning through data, tools, and generative selection. ~ Ivan Moshkov et als. https://openreview.net/forum?id=OM7ZN0PmSS #LLMs#ITP#LeanProver#Math
Kacie Kinzer’s Tweenbots are small cardboard robots that roam the city helped by strangers. They have many wabi-sabi qualities and I make the case that empathy is one of them.
https://wabitronics.com/examples/tweenbots/
Kacie Kinzer’s Tweenbots are small cardboard robots that roam the city helped by strangers. They have many wabi-sabi qualities and I make the case that empathy is one of them.
https://wabitronics.com/examples/tweenbots/
A space for Bonfire maintainers and contributors to communicate