this is actually insane
> be tech guy in australia
> adopt cancer riddled rescue dog, months to live
> not_going_to_give_you_up.mp4
> pay $3,000 to sequence her tumor DNA
> feed it to ChatGPT and AlphaFold
> zero background in biology
> identify mutated proteins, match them to drug targets
> design a custom mRNA cancer vaccine from scratch
> genomics professor is “gobsmacked” that some puppy lover did this on his own
> need ethics approval to administer it
> red tape takes longer than designing the vaccine
> 3 months, finally approved
> drive 10 hours to get rosie her first injection
> tumor halves
> coat gets glossy again
> dog is alive and happy
> professor: “if we can do this for a dog, why aren’t we rolling this out to humans?”
one man with a chatbot, and $3,000 just outperformed the entire pharmaceutical discovery pipeline.
we are going to cure so many diseases.
I dont think people realize how good things are going to get
🧵[2/n] How BEAVER Works ⚙️
BEAVER systematically explores the LLM's generation space:
✅ Tracks ALL possible outputs
✅ Prunes early violations
✅ Maintains certified probability bounds
BEAVER brings formal guarantees to LLMs while scaling to modern billion-parameter models.
@TarunSures41845@debangshuban18 🧵[1/n] The Verification Gap 📐
LLMs induce a distribution over all outputs.
As they're deployed in real-world systems, practitioners have only relied on sampling, benchmarking—methods which only give "vibes" for safety and security.
❌ No guarantees ❌
BEAVER changes this.
🚨 Can we truly prove that LLMs won't leak your data or generate unsafe code?
Almost all LLM safety evals today only give estimates.
Sampling. Benchmarks. Leaderboards.
Zero guarantees ❌
We present BEAVER, the first system to provably bound LLM constraint satisfaction.
🧵👇
🚨 Can we truly prove that LLMs won't leak your data or generate unsafe code?
Almost all LLM safety evals today only give estimates.
Sampling. Benchmarks. Leaderboards.
Zero guarantees ❌
We present BEAVER, the first system to provably bound LLM constraint satisfaction.
🧵👇
hello 👋🏼
the time has come for me to move out of my house, so looking for a replacement in a fully set-up 3BHK in Domlur, right opposite EGL.
just 10–15 mins from Indiranagar & Koramangala.
details:
•private room w/ attached bathroom
•fully furnished (no setup stress)
•covered parking for bike & car
preferably someone who:
•lives clean
💸 rent: ~26K / person + utilities
👩🍳👨🧹 cook + cleaning: 3,750 / person / month
🛋️ furniture via Furlenco (~2K pp/month, covered in one-time deposit)
🔐 one-time costs (security + appliances like WM, RO, fridge, TV): ~1L
Please contact - +91 70172 10287
📍 available from 17th Jan
The signal at the end of raj bhavan road towards racecourse is always on MNL after 8am. Why is this happening? There are many such cases across the city.