#mathai search results
There have been tremendous advances at the nexus of AI + mathematics. But it’s worth reflecting what our goals are for automated mathematicians. In our brief position piece for the #MathAI workshop @NeurIPSConf, we argue now is a great time to look to CogSci for reflection! 1/
We're organizing the 3rd #MathAI workshop at @NeurIPSConf #NeurIPS. 🚀 Excited for our speakers on AI for mathematical reasoning, @guyvdb, @noahdgoodman, @wtgowers, @BaraMoa, @KristinLauter, @TaliaRinger, @paul_smolensky, Armando Solar-Lezama, @Yuhu_ai_, @ericxing, @denny_zhou.…
⭐️The panel discussion is live now!! #MATHAI #NeurIPS2023
📢 Can't wait to see you at the 3rd #MathAI Workshop in the LLM Era at #NeurIPS2023! ⏰ 8:55am - 5:00pm, Friday, Dec 15 📍 Room 217-219 🔗 mathai2023.github.io 📽️ neurips.cc/virtual/2023/w… Exciting Lineup: ⭐️ Six insightful talks by @KristinLauter, @BaraMoa, @noahdgoodman,…
🥳 4 papers accepted at #NeurIPS2024 Workshops 🥳 #MathAI #MachineLearning #Compression #Representation #NeuralNetwork #UniReps @unireps #Algorithmic #Fairness #Evaluation @afciworkshop @NeurIPSConf Stay tuned for X 🧵 thread / 📜 pre-print / data / code! #ProfGiri
📢 Can't wait to see you at the 3rd #MathAI Workshop in the LLM Era at #NeurIPS2023! ⏰ 8:55am - 5:00pm, Friday, Dec 15 📍 Room 217-219 🔗 mathai2023.github.io 📽️ neurips.cc/virtual/2023/w… Exciting Lineup: ⭐️ Six insightful talks by @KristinLauter, @BaraMoa, @noahdgoodman,…
By 2030, AI will generate complex scientific code from text, help mathematicians with formal proofs. #AICode #MathAI #FutureScience
Gratitude to our esteemed speakers, insightful panelists, engaged attendees, and dedicated organizers (@LiangZhenwen, @AlbertQJiang, @katie_m_collins, @KaiyuYang4, @wellecks, and @JLMcClelland) for making the 3rd #MATHAI workshop at #NeurIPS2023 an extraordinary success!!
📢 Can't wait to see you at the 3rd #MathAI Workshop in the LLM Era at #NeurIPS2023! ⏰ 8:55am - 5:00pm, Friday, Dec 15 📍 Room 217-219 🔗 mathai2023.github.io 📽️ neurips.cc/virtual/2023/w… Exciting Lineup: ⭐️ Six insightful talks by @KristinLauter, @BaraMoa, @noahdgoodman,…
⭐️ Awesome! @guyvdb from UCLA is presenting the talk "AI Can Learn from Data. But Can It Learn to Reason?" offering insights from a logical and probabilistic perspective! #MATHAI #NeurIPS23 #Logic #Reasoning #AI
📢 Can't wait to see you at the 3rd #MathAI Workshop in the LLM Era at #NeurIPS2023! ⏰ 8:55am - 5:00pm, Friday, Dec 15 📍 Room 217-219 🔗 mathai2023.github.io 📽️ neurips.cc/virtual/2023/w… Exciting Lineup: ⭐️ Six insightful talks by @KristinLauter, @BaraMoa, @noahdgoodman,…
⭐️ @noahdgoodman from Standford University is presenting "Axioms are all you need"! #MATHAI #NeurIPS2023 #TheoremProving #CognitiveScience #AI
📢 Can't wait to see you at the 3rd #MathAI Workshop in the LLM Era at #NeurIPS2023! ⏰ 8:55am - 5:00pm, Friday, Dec 15 📍 Room 217-219 🔗 mathai2023.github.io 📽️ neurips.cc/virtual/2023/w… Exciting Lineup: ⭐️ Six insightful talks by @KristinLauter, @BaraMoa, @noahdgoodman,…
⭐️ Welcome to the final talk by @paul_smolensky from Microsoft Research, as he shares his insights on symbolic reasoning in Transformers! #MATHAI #NeurIPS2023 #Symbolic
📢 Can't wait to see you at the 3rd #MathAI Workshop in the LLM Era at #NeurIPS2023! ⏰ 8:55am - 5:00pm, Friday, Dec 15 📍 Room 217-219 🔗 mathai2023.github.io 📽️ neurips.cc/virtual/2023/w… Exciting Lineup: ⭐️ Six insightful talks by @KristinLauter, @BaraMoa, @noahdgoodman,…
🚨 That’s huge news for AI and math! Google DeepMind’s Gemini Pro and OpenAI’s O1-series hitting gold-level IMO problem-solving is a massive step forward in machine reasoning, leveraging extended thinking time and debate strategies. 🚀 #AI #MathAI
⭐️ Welcome! @BaraMoa from Chalmers University is now presenting "Exploring Mathematical Conjecturing – From Heuristic Search to Large Language Models". #MATHAI #NeurIPS2023 #Mathematics #Conjecturing #AI #LanguageModels
📢 Can't wait to see you at the 3rd #MathAI Workshop in the LLM Era at #NeurIPS2023! ⏰ 8:55am - 5:00pm, Friday, Dec 15 📍 Room 217-219 🔗 mathai2023.github.io 📽️ neurips.cc/virtual/2023/w… Exciting Lineup: ⭐️ Six insightful talks by @KristinLauter, @BaraMoa, @noahdgoodman,…
Starting Now! Welcome to our first talk by @KristinLauter, Director at FAIR Labs, North America, Meta. She'll be sharing the latest progress in AI4Crypto: Machine Learning attacks on Post-Quantum Crypto schemes! #NeurIPS2023 #MATHAI #AI #Cryptography #QuantumComputing
📢 Can't wait to see you at the 3rd #MathAI Workshop in the LLM Era at #NeurIPS2023! ⏰ 8:55am - 5:00pm, Friday, Dec 15 📍 Room 217-219 🔗 mathai2023.github.io 📽️ neurips.cc/virtual/2023/w… Exciting Lineup: ⭐️ Six insightful talks by @KristinLauter, @BaraMoa, @noahdgoodman,…
Same thing we found in our #ICLR #MathAI polynomial simplification paper. Transformers were able to achieve only 2% accuracy after seeing 2M samples for arithmetic multiplication. Proposed some solutions that may interest people here... mathai-iclr.github.io/papers/papers/…
⭐️ @xinyun_chen_ from Google DeepMind is presenting their interesting recent work on Analogical Reasoning! Check it out here: arxiv.org/abs/2310.01714! #MATHAI #NeurIPS2023 #AI #Analogy
📢 Can't wait to see you at the 3rd #MathAI Workshop in the LLM Era at #NeurIPS2023! ⏰ 8:55am - 5:00pm, Friday, Dec 15 📍 Room 217-219 🔗 mathai2023.github.io 📽️ neurips.cc/virtual/2023/w… Exciting Lineup: ⭐️ Six insightful talks by @KristinLauter, @BaraMoa, @noahdgoodman,…
I used to think 0.9 recurring was equal to 1 but now I’m not so sure! #maths #mathai #AI #mathschat #math. All comments on this matter are welcome.
Math LLMs, Now With a Built-in Oops Detector! 👉youtube.com/watch?v=4U3oUI… #mathai #mathreasoning #reinforcementlearning #llm This research introduces a new framework where a single LLM can generate a solution, evaluate its correctness, and revise it based on its self-generated…
Mathematicians, bet on unsolved proofs by AI—crowdfund genius. Talus labs solves. Math with @Talus_labs. #MathAI
There have been tremendous advances at the nexus of AI + mathematics. But it’s worth reflecting what our goals are for automated mathematicians. In our brief position piece for the #MathAI workshop @NeurIPSConf, we argue now is a great time to look to CogSci for reflection! 1/
🥳 4 papers accepted at #NeurIPS2024 Workshops 🥳 #MathAI #MachineLearning #Compression #Representation #NeuralNetwork #UniReps @unireps #Algorithmic #Fairness #Evaluation @afciworkshop @NeurIPSConf Stay tuned for X 🧵 thread / 📜 pre-print / data / code! #ProfGiri
Boston Lobster Laksa(龍蝦喇沙) 。Purple Rona (Corona Extra - Butterfly Pea Flower Juice, Lime Wedge, Rum & Ice) 😋😋 #MaThai #馬泰 #LockhartRoad #CausewayBay
🚀 In a test of mathematical reasoning, GRIN-MoE outperformed models like GPT-3.5 and LLaMA 3 70B, scoring 46/73 points—trailing only GPT-4o and Gemini Ultra-1.0. 📊 (See chart) #AI #MathAI #OpenAI #TechTrends @huggingface
We're organizing the 3rd #MathAI workshop at @NeurIPSConf #NeurIPS. 🚀 Excited for our speakers on AI for mathematical reasoning, @guyvdb, @noahdgoodman, @wtgowers, @BaraMoa, @KristinLauter, @TaliaRinger, @paul_smolensky, Armando Solar-Lezama, @Yuhu_ai_, @ericxing, @denny_zhou.…
⭐️The panel discussion is live now!! #MATHAI #NeurIPS2023
📢 Can't wait to see you at the 3rd #MathAI Workshop in the LLM Era at #NeurIPS2023! ⏰ 8:55am - 5:00pm, Friday, Dec 15 📍 Room 217-219 🔗 mathai2023.github.io 📽️ neurips.cc/virtual/2023/w… Exciting Lineup: ⭐️ Six insightful talks by @KristinLauter, @BaraMoa, @noahdgoodman,…
Snapshot - Questions asked to our Chatbot #mathai #numericnexus #chatbot #mathchat #mathematics #startups #startupindia
💥 Results TANGO hits state-of-the-art on: 1. Math benchmarks (AIME 2025 +100%) 2. Out-of-domain generalization #MathAI #ZeroShot #AIModels
🧠 Want a better LLM? Pretrain on math. Domain-specific pretraining boosts RL ceilings. Even weak models like Llama-3.2-3B improve a lot with math datasets. #MathAI #Pretraining #FineTuning
📢 Can't wait to see you at the 3rd #MathAI Workshop in the LLM Era at #NeurIPS2023! ⏰ 8:55am - 5:00pm, Friday, Dec 15 📍 Room 217-219 🔗 mathai2023.github.io 📽️ neurips.cc/virtual/2023/w… Exciting Lineup: ⭐️ Six insightful talks by @KristinLauter, @BaraMoa, @noahdgoodman,…
By 2030, AI will generate complex scientific code from text, help mathematicians with formal proofs. #AICode #MathAI #FutureScience
Final Phase has begun, we are excited to share the chatbot response. #maths #mathai #numericnexus #mathschat
⭐️ @noahdgoodman from Standford University is presenting "Axioms are all you need"! #MATHAI #NeurIPS2023 #TheoremProving #CognitiveScience #AI
📢 Can't wait to see you at the 3rd #MathAI Workshop in the LLM Era at #NeurIPS2023! ⏰ 8:55am - 5:00pm, Friday, Dec 15 📍 Room 217-219 🔗 mathai2023.github.io 📽️ neurips.cc/virtual/2023/w… Exciting Lineup: ⭐️ Six insightful talks by @KristinLauter, @BaraMoa, @noahdgoodman,…
🚨 That’s huge news for AI and math! Google DeepMind’s Gemini Pro and OpenAI’s O1-series hitting gold-level IMO problem-solving is a massive step forward in machine reasoning, leveraging extended thinking time and debate strategies. 🚀 #AI #MathAI
4/8 On tough benchmarks like Codeforces (a coding challenge platform) and AIME (a challenging math test), Qwen 3 outperformed OpenAI’s models, showing it can handle complex programming and math problems better. #Coding #MathAI #Benchmarks
Something went wrong.
Something went wrong.
United States Trends
- 1. #Worlds2025 46.3K posts
- 2. Doran 18.9K posts
- 3. #T1WIN 29.3K posts
- 4. Good Sunday 46.6K posts
- 5. Faker 33K posts
- 6. Sam Houston 1,620 posts
- 7. Oregon State 4,749 posts
- 8. #T1fighting 3,619 posts
- 9. Vergil 8,795 posts
- 10. Boots 30K posts
- 11. Lubin 5,917 posts
- 12. Option 2 4,349 posts
- 13. #Toonami 2,731 posts
- 14. Keria 11.4K posts
- 15. Hyan 1,484 posts
- 16. Frankenstein 127K posts
- 17. Louisville 14.5K posts
- 18. UCLA 7,829 posts
- 19. #GoAvsGo 1,607 posts
- 20. Oilers 5,380 posts