GL3D (Geometric Learning with 3D Reconstruction) is a large-scale database created for 3D reconstruction and geometry-related learning problems. Most images contained are captured by drones from ...

This repository has Lean statements for IMO Shortlist 2024 problems, originally written before that IMO while chairing the Problem Selection Committee, along with solutions to C1 and N1 and a partial ...

Large language models learn from, and often memorize, training data. Here, authors show they memorize far more than previously thought, by stitching together pieces of text like a mosaic. This makes ...