2 curated entries
First formally verified 3D mesh intersection with Lean 4 proofs.
Generate realistic terrain landscapes using AI diffusion models