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
Offshore
Photo
Paul Graham
Changes in the colors of objects since 1800, from pictures of 7000 objects in the collections of UK science museums. https://t.co/DvVQrw3pcw
tweet
Changes in the colors of objects since 1800, from pictures of 7000 objects in the collections of UK science museums. https://t.co/DvVQrw3pcw
tweet
Offshore
Video
AK
RT @ggerganov: Simultaneously running LLaMA-7B (left) + Whisper Small (right) on M1 Pro https://t.co/fQaRkZoLX1
tweet
RT @ggerganov: Simultaneously running LLaMA-7B (left) + Whisper Small (right) on M1 Pro https://t.co/fQaRkZoLX1
tweet
Offshore
Photo
Emm
RT @emmanuel_2m: I absolutely LOVE the character generator made by @EndlessWebWorld, using the @Scenario_gg API 🚀🤖🤩 !!
It's so simple:
1. Select a graphic style
2. Choose a base/pose
3. Add character gender, outfits, or custom description.
Hit "generate" and boom! 💥 https://t.co/2YF9sW4QbB https://t.co/jqIvCSBfsP
tweet
RT @emmanuel_2m: I absolutely LOVE the character generator made by @EndlessWebWorld, using the @Scenario_gg API 🚀🤖🤩 !!
It's so simple:
1. Select a graphic style
2. Choose a base/pose
3. Add character gender, outfits, or custom description.
Hit "generate" and boom! 💥 https://t.co/2YF9sW4QbB https://t.co/jqIvCSBfsP
tweet
Offshore
Photo
Dave Craige
RT @ikoichi: My two products https://t.co/T1j8D4ixPm and https://t.co/tW4uUYQiJR have helped me reach the incredible milestone of 2k MRR! 🥳
I'm looking forward to seeing where this exciting journey will go 🤩
And thanks for your amazing support 🙏 https://t.co/am6fsgYOfv
tweet
RT @ikoichi: My two products https://t.co/T1j8D4ixPm and https://t.co/tW4uUYQiJR have helped me reach the incredible milestone of 2k MRR! 🥳
I'm looking forward to seeing where this exciting journey will go 🤩
And thanks for your amazing support 🙏 https://t.co/am6fsgYOfv
tweet