LLMs are more persuasive than incentivized human persuaders(arxiv.org)109 points by flornt 1 year ago | 87 comments
TPDE: A Fast Adaptable Compiler Back-End Framework(arxiv.org)43 points by npalli 1 year ago | 12 comments
Automated Verification of Monotonic Data Structure Traversals in C(arxiv.org)32 points by MarcoDewey 1 year ago | 1 comments
Understanding Transformers via N-gram Statistics(arxiv.org)110 points by pona-a 1 year ago | 13 comments
ProtoGS: Efficient and High-Quality Rendering with 3D Gaussian Prototypes(arxiv.org)15 points by PaulHoule 1 year ago | 0 comments