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

WeavingWithAI 🐦
The Museum of AI Art

cc: @Merzmensch (had to think of you)

https://t.co/kl4Q04Ccw6
tweet

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

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

AK
RT @ggerganov: Simultaneously running LLaMA-7B (left) + Whisper Small (right) on M1 Pro https://t.co/fQaRkZoLX1
tweet

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

Bojan Tunguz
It's now becoming clear that AI has its own version of Flat Earthers.
tweet

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

Dave Craige
RT @T_Zahil: I turned 28 a few weeks ago.

I don’t have any life advice for you.

That’s it, sorry 😗
tweet

Thibaud Zamora
Anyone have a tutorial to finetune with offset noise?
tweet

WeavingWithAI 🐦
RT @hildiebird: “Mask of Resilience”. Good morning! This is a photographic version of my current black and white profile pic mask. I am having fun going back through my painterly surrealist #aiart and using it as the starting point for photorealistic images! Made using @get_starryai photo mode https://t.co/yB9J175X4D
tweet