Top Tweets for #llm4lean
π Excited to announce that DeepSeek-Prover-V1.5-RL has surpassed 20,000 downloads in the past month! Huge thanks to the #LLM4Lean community for your support and interest in our work. Stay tuned for more advancements! #AI #TheoremProving #DeepSeek
Last Seen Hashtags on Sotwe
monkeyappwinsFull
Seen from Italy
snapchat
Seen from Germany
mom son scene
Seen from Turkey
minichat
Seen from Oman
monkeyappwins
Seen from United States
γγγ«γγ
Seen from Peru
pendiktravesti
Seen from Turkey
pauzudo
Seen from Colombia
ribbit
Seen from New Zealand
WomeninIP
Seen from United States
Most Popular Users
Elon Musk 
@elonmusk
241.7M followers
Barack Obama
@barackobama
119M followers
Cristiano Ronaldo
@cristiano
114.4M followers
Donald J. Trump
@realdonaldtrump
111.9M followers
Narendra Modi
@narendramodi
107.2M followers
Rihanna
@rihanna
98.7M followers
NASA
@nasa
92.4M followers
Justin Bieber
@justinbieber
91.8M followers
KATY PERRY
@katyperry
90M followers
Taylor Swift
@taylorswift13
83.9M followers
Lady Gaga
@ladygaga
75.4M followers
Virat Kohli
@imvkohli
73.4M followers
Kim Kardashian
@kimkardashian
70.9M followers
YouTube
@youtube
68.8M followers
Neymar Jr
@neymarjr
66.4M followers
Bill Gates
@billgates
65.2M followers
Selena Gomez
@selenagomez
63.1M followers
The Ellen Show
@theellenshow
62.3M followers
CNN
@cnn
61.8M followers
X
@x
60.7M followers