📢 Geat opportunities if you're interested in working in Safe AI safeandtrustedai.org/project/verifi… safeandtrustedai.org/project/reliab…

Recently, we introduced 3 Attention mechanisms. Notably: 1,2) Optimized & Efficient Attention: Perform on par with standard attention with 3/4 and 1/2 as many parameters. E.g., using Efficient Attention, Inference speed can get a 2x boost on a Macbook M2 chip!

Stay tuned. New results coming soon🔥

Nice illustration of our proposed attention mechanisms. Thanks Thibault Castells!

If you're attending AISTATS Conference, make sure to stop by our poster (no. 118) on verification of Bayesian Neural Nets and chat with us!!! #AISTATS2024 #BNNs #Verification

Fully Funded PhD Studentship in ML for Sustainable Electricity Markets (application deadline: 31st May 2024). More information: jobs.ac.uk/job/DHK087/phd…

📢 Checkout our new paper on Verifiably Robust Conformal Prediction (VRCP)!!! 🔑 Key contributions: • maintains coverage for any ℓ_p norm-bounded attack • formal guarantees on the prediction set & coverage • supports regression & classification • informative sets vs SotA

Checkout our proof-of-concept small LM Not the most capable LM in town, but pretty good considering its size and # of training tokens! Parts of the training compute was kindly provided by Vultr & @wrauvultr. Reach out to them to try their amazing GPUs! vultr.com/?ref=9602651-8H

we finally have implementation of this, uploaded! arxiv.org/abs/2403.01643

Yoshua Bengio is looking for theory folk to join him to work on Bayesian approaches to AGI safety. I think this is a great opportunity: I've quite enjoyed the theory discussions I've had with Yoshua so far, and would love more work in this direction.

I'm very excited to share that our paper "Verifiably Robust Conformal Prediction" been accepted in NeurIPS 2024!!! Here is the link to the arXiv version: arxiv.org/abs/2405.18942 #NeurIPS #NeurIPS24

✨Just in! Our paper has been accepted in the IEEE/CVF Winter Conference on Applications of Computer Vision (WACV) 2025! Keep an eye out for more details coming soon!

📋If you're attending NeurIPS Conference , please visit our poster on Verifiably Robust Conformal Prediction. Linus Jeary and Tom Kuipers will be presenting our work! #NeurIPS #NeurIPS2024

📢We have 2/2 papers accepted in The AAMAS Conference 2025 🥳 Both papers on the Safety of AI agents; specifically, on • "LTL Verification of Memoryful Neural Agents" and • "Certified Guidance for Planning with Deep Generative Models". More details soon! #AAMAS2025 #AAMAS #SafeAI

📢 2-year postdoc in Technical AI Safety is open at KCL. You'll be advancing the reliability & robustness of latent probes for #LLMs, collaborating with Nicola Paoletti, Osvaldo Simeone, Edoardo Pona (King's College London) and myself (The University of Manchester)! kcl.ac.uk/jobs/127005-po…

The word "algorithm" comes from the name of 9th-century Persian mathematician al-Khwarizmi, whose Latinized name "algorismi" was used to refer to his systematic methods of calculation.

Kharg Island isn't just a military target It is home to a medieval Portuguese fort, religious tombs, and the ruins of one of the oldest Christian monasteries in the world It also is home to 8,000 people and flocks of wild gazelles This is what Trump just bombed:

Today we launch our campaign for the May elections. Locally and nationally, Labour is cosying up to developers and failing to provide the secure, affordable homes we need. We deserve better. On 7th May vote for council homes, rent controls and an end to leaseholds. Vote Green.