Peter Henderson
@PeterHndrsn
Assistant Professor @ Princeton (RL+strategic decision-making+Law).
Prev: Stanford (JD+PhD); Mila; FAIR; Amazon; Cal Supreme Court.
Views are all only my own.
962 Following 6.2K Followers
Now: Reward hacking by finding bugs in lean.
Later: Reward hacking by introducing bugs in lean.
Another lesson here is probably not to trust every lean proof that a model spits out as 100% solid.
Amazing work from an all-star cast! Serious privacy implications for shared chats that seemed otherwise safe to give out links to.
