LLMs are more persuasive than incentivized human persuaders(arxiv.org)109 points by flornt 1 year ago | 87 comments
Automated Verification of Monotonic Data Structure Traversals in C(arxiv.org)32 points by MarcoDewey 1 year ago | 1 comments
Atlas: Learning to Optimally Memorize the Context at Test Time(arxiv.org)27 points by og_kalu 1 year ago | 2 comments
It is time to stop teaching frequentism to non-statisticians (2012)(arxiv.org)78 points by Tomte 1 year ago | 74 comments
Outcome-Based Reinforcement Learning to Predict the Future(arxiv.org)85 points by bturtel 1 year ago | 14 comments