Submissions from polytechnique.fr

		AKiRa: Augmentation Kit on Rays for optical video generation (polytechnique.fr)
		3 points by lnyan 11 months ago \| past
		Using statistical physics to know when Generative AI generalize (polytechnique.fr)
		1 point by rvdca on Oct 1, 2024 \| past \| 1 comment
		An OCaml and Type Theory Course: Program = Proof (polytechnique.fr)
		9 points by bmer on Oct 9, 2022 \| past \| 1 comment
		Program = Proof [pdf] (polytechnique.fr)
		2 points by nextos on June 11, 2022 \| past
		Logic programming in higher-order logic (polytechnique.fr)
		3 points by harperlee on Jan 25, 2021 \| past
		Program = Proof [pdf] (polytechnique.fr)
		1 point by niea_11 on Dec 2, 2020 \| past
		Gallery of Mathematically Generated Objects (polytechnique.fr)
		2 points by bindidwodtj on May 13, 2020 \| past
		The Chemical Abstract Machine [pdf] (polytechnique.fr)
		1 point by englishm on June 10, 2015 \| past
		Engineering a sort function (Bentley and McIlroy) (polytechnique.fr)
		2 points by jacquesm on Oct 1, 2009 \| past