Loading activity…
@joshuaongg21
Visiting Researcher @IFM_AI, @EdinburghNLP | First Year PhD Student @imperialcollege LLM Reasoning | Theorem Proving
AI
An announcement introducing MAGENTA says it combines natural-language reasoning with formal verification and achieved 100% accuracy across 93 math competition problems using K2-Horizon models of different sizes.
