Proof Assistants, Interactive Verification, Proof Search, Tactical Reasoning
The AdTech Underbelly
feed.tedium.co·1d
Spritely Goblins v0.16.0 released!
spritely.institute·2d
Opinion: White House wants to win global AI war — troublingly, by any means necessary
mercurynews.com·13h
Double Maths First Thing: Issue 30
aperiodical.com·3d
AI Industry Horrified To Face Largest Copyright Class Action Ever Certified
yro.slashdot.org·1d
When Truth Is Overridden: Uncovering the Internal Origins of Sycophancy in Large Language Models
arxiv.org·4d
JPS: Jailbreak Multimodal Large Language Models with Collaborative Visual Perturbation and Textual Steering
arxiv.org·1d
Thinking With Videos: Multimodal Tool-Augmented Reinforcement Learning for Long Video Reasoning
arxiv.org·2d
Loading...Loading more...