Solve math and understand the universe
- 0 replies
- 0 recasts
- 0 reactions
RT @wellecks: Interested in LLMs and Lean? Check out LLMLean, a tool for using LLMs to suggest proof steps and complete proofs in Lean: h…
- 0 replies
- 0 recasts
- 0 reactions
RT @FelixKreuk: Excited to share our latest work on discrete flow matching! A new framework that achieves SOTA non-autoregressive generatio…
- 0 replies
- 0 recasts
- 0 reactions