Submissions by jasondavies

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

Google Details TPUv4 and Its Crazy Optically Reconfigurable AI Network

You Should Be Working on Hardware

SeamlessM4T: The first, all-in-one, multimodal translation model

Jim Keller: Moore's Law is still not dead

America’s Obsession with Weight-Loss Drugs Is Affecting the Economy of Denmark

Dynamic 3D Gaussians: Tracking by Persistent Dynamic View Synthesis

500k EUR Prize for Compressing Human Knowledge by Marcus Hutter

Community Notes Ranking Algorithm

AI Won’t Supercharge the US Economy

3D Gaussian Splatting for Real-Time Radiance Field Rendering

MERF: Memory-Efficient Radiance Fields for View Synthesis in Unbounded Scenes

Example-Based Procedural Modeling Using Graph Grammars

PUG: Controllable, photorealistic synthetic data from Unreal Engine

RoboAgent: Robot Manipulation via Semantic Augmentations and Action Chunking

DeepSpeed-Chat: Easy RLHF Training of ChatGPT-Like Models at All Scales

Generalising the Fast Reciprocal Square Root Algorithm

Progressively Optimized Local Radiance Fields for Robust View Synthesis

Orca: Progressive Learning from Complex Explanation Traces of GPT-4

Maieutic Prompting: Logically Consistent Reasoning with Recursive Explanations

Parallel vector graphics rasterization on CPU

Real-Time Neural Appearance Models by Nvidia

Unlimiformer: Long-Range Transformers with Unlimited Length Input

How Walmart Automated Supplier Negotiations using AI

3D printing a full-size kayak

AI Could Spell the End of Big Business

Using the Veil of Ignorance to align AI systems with principles of justice

Learning to Compress Prompts with Gist Tokens

FaceLit: Neural 3D Relightable Faces

Geometry Central: library of data structures, algorithms for geometry processing