Top Tweets for #MetaMath
#geminideepthink #nobelprizeai #metamath #airevolution #technews #enterpriseai #quantumreasoning #advancedscience #usa
π Subscribe & π Like π For New Videos πΌ Every Day! π
πΊπΈ π¬π§ English Channel Playlist Videos ποΈ
https://t.co/ICV0v3ZevM
1000+ theorems (The spiritual successor of Freekβs list of 100 theorems. Now with more than 1000 theorems!). ~ Katja BerΔiΔ et als. https://t.co/qJdeWuMSMA #Math #ITP #IsabelleHOL #HOL_Light #Rocq #LeanProver #Metamath #Mizar
βThe Mathematics of Mathematicsβ is a new paper with @NativeMath @RR25000 @vindas_melendez that discusses examples of using data science, mathematics and statistics to analyze the mathematical sciences community itself to enhance social justice #MetaMath https://t.co/CFyzqFCFOv
At #Dyalog24, Brandon Wilson is demonstrating how APL can handle large mathematical databases like Metamath, offering a unique solution for efficient proof verification. But who will ask the questions at the end? π± #APL #ProofVerification #DataParallel #Metamath
Right now at #SIAMED24, Ron Buckmire (@madprofessah) of @Occidental is speaking about #MetaMath: a quantitative justice project that applies #mathematics to understand the Mathematics community in order to enhance #equity, #diversity, and #inclusion. #SIAMAN24
We have an event THIS FRIDAY!
"The Mathematics of Mathematics (#MetaMath): An Introduction and Some Examples" is now available! (https://t.co/RyeZD6MChT)
Discuss the talk with her at our CafΓ© con Leche event on June 7th at 12 ET
Register at: https://t.co/KR4kSg3UT6
Algorithm and abstraction in formal mathematics. ~ Heather Macbeth. https://t.co/VbfXiuZYQK #ITP #Agda #Coq #Lean4 #HOL_Light #IsabelleHOL #Metamath #Mizar #Math
At this week's DISC Forum on Applications of Data and Network Science at @TuftsUniversity, ICERM alum Dr. Phil Chodrow will give the talk "Dynamics of Female Gender Representation in Academic Mathematics." The talk will be livestreamed on 4/19 at 1pm EST.
https://t.co/BtDxJhbOxX
Iβm especially interested in papers that use techniques, tools, and topics from math and data science to analyze the mathematics community itself! #metamath
Call for papers on #QuantitativeJustice for @AWMmath
@LaMaAWM! Deadline to submit is November 1, 2024.
#SocialJustice
https://t.co/WiN3nUo2PK
π₯ π₯ Is #numeracy solved? Are Math Word problems too easy for #LLMs?
In our new preprint, we delve deeper in the robustness of math word performance of #GPT4, #GPT3.5, #gemini, #metamath, #llama2chat w/ Pengfei, @deepanwayx , Navonil, @radamihalcea @soujanyaporia #NLProc
π§΅π
What does a mathematician look like? #MetaMath
I have an article in this issue with @mathprofcarrie @siwelwerd @vindas_melendez @RR25000 and others discussing the implications of various ways of defining the term "mathematician" #MetaMath
@siwelwerd And laterβ¦ β[we] interrogate, investigate, and identify inequities in the mathematical sciences itselfβ¦β #alliteration #metamath
Important work up on the arXiv today! #MetaMath
@chadtopaz @CarnegieMellon ππΏ I was hoping someone would do this analysis for #math based on the Clauset (2015) and Walmart (2022) papers! #metamath #dssj You Rock!!
Come to Providence this summer and hang out with me and others like @mathprofcarrie @vindas_melendez while thinking and learning about using math to highlight, quantify, and model equities in STEM! #metamath
From @madprofessah: #MetaMath refers to using (lowercase) math to analyze (uppercase) Math with the goal of highlighting inequities.
Just sitting down to Ron Buckmire @madprofessah talking about the #MetaMath Project analyzing mathematical communities using #DataScience. #JMM2023
Last Seen Hashtags on Sotwe
Most Popular Users
Elon Musk 
@elonmusk
240.3M followers
Barack Obama
@barackobama
119.3M followers
Donald J. Trump
@realdonaldtrump
111.6M followers
Cristiano Ronaldo
@cristiano
109.8M followers
Narendra Modi
@narendramodi
106.9M followers
Rihanna
@rihanna
97.5M followers
NASA
@nasa
92.1M followers
Justin Bieber
@justinbieber
90.7M followers
KATY PERRY
@katyperry
87.3M followers
Taylor Swift
@taylorswift13
81.1M followers
Lady Gaga
@ladygaga
72.6M followers
Kim Kardashian
@kimkardashian
69.6M followers
Virat Kohli
@imvkohli
69.2M followers
YouTube
@youtube
68.6M followers
Bill Gates
@billgates
63.6M followers
The Ellen Show
@theellenshow
62.5M followers
Neymar Jr
@neymarjr
61.9M followers
CNN
@cnn
61.9M followers
X
@x
60.9M followers
Selena Gomez
@selenagomez
60.4M followers