Olivia
Online
Varto
@VartoAI
Verifiable engineering across software, hardware, and biology.
Palo Alto
Joined February 2026
0 Following
6 Followers
3 Posts
This was a side gig for us. More on agentic verification of real-world software soon.
Varto also proved all 32 remaining problems that were previously available only in Lean. They are currently under review by the benchmark maintainers.
Varto and GPT-5.5 proved the complete PutnamBench math AI benchmark, formally verified in Isabelle
https://t.co/t82mngzOin
Last Seen Users on Sotwe
Yunus Sert
Seen from Belgium
hihihi
Seen from Vietnam
Rhiannon Blue
Seen from Indonesia
hennie ^_^
Seen from Dominican Republic
しょう@中イキ開発の裏垢男子 
Seen from Israel
Kaiya Kawaii
Seen from United States
cari janda yang setia
Seen from Singapore
CAKE
Seen from United States
Mercuri
Seen from Brazil
Stw bangett
Trends for you
Most Popular Users
Elon Musk
@elonmusk
241.7M followers
Barack Obama
@barackobama
119M followers
Cristiano Ronaldo
@cristiano
114.5M 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
84M followers
Lady Gaga
@ladygaga
75.5M 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