Offshore
Photo
JABALAND
RT @MistaSkelter: THIS IS THE MAN!HIS ODDS ARE CHEAP,REAL AND LEGIT.I HAVE WON WITH ALL HIS TICKETS SINCE I JOINED HIM TWO MONTHS AGO.GET HIM THROUGH
0757478106
https://t.co/kplYafOyqd
Mo Salah Trent United 7-0 Boutross Baba Camavinga David Oginde Terence Creative Vinicious Jr Amerix Manchester https://t.co/P4FA3Nz436
tweet
RT @MistaSkelter: THIS IS THE MAN!HIS ODDS ARE CHEAP,REAL AND LEGIT.I HAVE WON WITH ALL HIS TICKETS SINCE I JOINED HIM TWO MONTHS AGO.GET HIM THROUGH
0757478106
https://t.co/kplYafOyqd
Mo Salah Trent United 7-0 Boutross Baba Camavinga David Oginde Terence Creative Vinicious Jr Amerix Manchester https://t.co/P4FA3Nz436
tweet
Offshore
Photo
JABALAND
RT @j_jeff15: tulisema the fight is against poverty, si mnifikishie io 2k followers nipate mboka folks i will be following back ASAP https://t.co/OtrbXLBZ11
tweet
RT @j_jeff15: tulisema the fight is against poverty, si mnifikishie io 2k followers nipate mboka folks i will be following back ASAP https://t.co/OtrbXLBZ11
tweet
Offshore
Photo
Gaurav
Silicon Valley Bank was the 16th largest bank in the US, with $209 BILLION in total assets.
Now, it is the largest U.S. bank failure since the 2008 financial crisis.
How and why Silicon Valley Bank collapsed: https://t.co/5Na5kY1I5L
tweet
Silicon Valley Bank was the 16th largest bank in the US, with $209 BILLION in total assets.
Now, it is the largest U.S. bank failure since the 2008 financial crisis.
How and why Silicon Valley Bank collapsed: https://t.co/5Na5kY1I5L
tweet
Offshore
Photo
UnknownCollector
RT @__scerbo__: my one “voce del verbo” piece on @superrare is more than one piece.
.
https://t.co/Zi2Wp2lj8p https://t.co/E4SV4SSSu3
tweet
RT @__scerbo__: my one “voce del verbo” piece on @superrare is more than one piece.
.
https://t.co/Zi2Wp2lj8p https://t.co/E4SV4SSSu3
tweet
Offshore
Photo
John Nay
Automating Formal Software Verification w/ LLMs
-Pre-train on math
-Fine-tune to generate entire proofs
-Fine-tune w/ failed attempt + error message
-Adding theory to context helps
-Larger LLMs better
New SoTA for fully automated proof synthesis
Paper: https://t.co/aRgxipB5l5 https://t.co/PcWq9SAmN1
tweet
Automating Formal Software Verification w/ LLMs
-Pre-train on math
-Fine-tune to generate entire proofs
-Fine-tune w/ failed attempt + error message
-Adding theory to context helps
-Larger LLMs better
New SoTA for fully automated proof synthesis
Paper: https://t.co/aRgxipB5l5 https://t.co/PcWq9SAmN1
tweet
WeavingWithAI 🐦
The Museum of AI Art
cc: @Merzmensch (had to think of you)
https://t.co/kl4Q04Ccw6
tweet
The Museum of AI Art
cc: @Merzmensch (had to think of you)
https://t.co/kl4Q04Ccw6
tweet
Offshore
Photo
Sebastian Raschka
Machine learning competitions are often a good indicator of what techniques actually work well in practice on new datasets.
The very comprehensive State of Competitive Machine Learning 2022 report just came out and contained many interesting and https://t.co/pMD19C9wBk… https://t.co/zax5eU9OX0 https://t.co/6ufqT9w5Nt
tweet
Machine learning competitions are often a good indicator of what techniques actually work well in practice on new datasets.
The very comprehensive State of Competitive Machine Learning 2022 report just came out and contained many interesting and https://t.co/pMD19C9wBk… https://t.co/zax5eU9OX0 https://t.co/6ufqT9w5Nt
tweet