manooshree @manooshree

closed for business (she/her) Joined November 2014

Tweets

5K
Followers

324
Following

451
Likes

9K

José A. Alonso @Jose_A_Alonso

3 months ago

LeanTutor: A formally-verified AI tutor for mathematical proofs. ~ Manooshree Patel et als. arxiv.org/abs/2506.08321 #ITP #LeanProver #Math #AIforMath #Teaching

1 2 23 536 12

“Nick” @nick_toonz_

2 years ago

About to calculate the area of a circle irl

1 1 3 340 0

elle @itselleokay

2 years ago

i wasn’t put on earth to look for parking

27 8K 40K 1.7M 455

🧧 Jon Wong 黃智義 🧧 @thewongmann

3 years ago

Every time I go to Berkeley Bowl I rethink my decision to possibly move from the Bay Area

32 54 976 103K 33

Download Image

Thomas M. Philip @ThomasMPhilip

3 years ago

Marking one full year of institutional neglect and stonewalling after UCPD was called on a @Berkeley_Educ student during the height of the pandemic for allegedly not wearing a mask. dailycal.org/2023/02/01/sto…

0 37 55 22K 3

a @lolennui

3 years ago

are they fucking their gas stoves or what

7 19 323 14K 3

Rachel Lapides @rachellapides

3 years ago

Fafsa should just be whether or not you’ve ever gone skiing

80 8K 95K 2.9M 757

“Nick” @nick_toonz_

3 years ago

Becoming one of those annoying study abroad types but with my five-day trip to Ann Arbor, Michigan

1 2 21 0 0

UAW 4811 @uaw_4811

3 years ago

At 5am this morning, striking Academic Workers formed a picket line at a construction site at UC Berkeley and successfully shut it down by talking to the workers from OE, IBEW, and LiUNA. They are honoring our picket line and won't be building today. #Solidarity #UAWonStrike

8 488 2K 0 10

Download Image

helena riley @freshhel

3 years ago

I always add a cookie when i’m ordering from a sandwich place that’s why u see me cultivating love, opening new dimensions etc

8 615 6K 0 105

a @lolennui

3 years ago

group chat’s lighting his ass up for that weak crumb structure

3 3 57 0 0

a @lolennui

3 years ago

saw your bf underproof a fruited, enriched dough. humiliating.

4 99 1K 0 12

NexFlax @NexFlax

3 years ago

bitches eat a sandwich and go like omnomnom that was delicious!

7 290 4K 0 53

helena riley @freshhel

3 years ago

Love is when u take turns being curious george and the man in the yellow hat

5 587 6K 0 136

Zack Fox @zackfox

3 years ago

she not cheatin bro she just stealing catalytic converters

47 3K 26K 0 254

taylor garron @taylorgarron

3 years ago

just ate a strawberry so good that i abandoned my values

1 100 2K 0 23

Happy Researchers @hapyresearchers

3 years ago

Undergrad --> PhD --> Postdoc --> PI --> bakery shop owner Who else is thinking of this academic path?

363 808 14K 0 319

sick public transit, gloria @seungylee14

3 years ago

going to my local bodega (Berkeley Bowl)

1 9 129 0 3

Aamna Qureshi @aamnaqureshi_

3 years ago

i love words and the silent words they carry: when can I see you again? (i hope it is soon.) are you home? (i hope you are safe.) do you love it? (just as i love you?) i dream of you. (do you dream of me?) are you free? (spend time with me!)