A Survey of Axiom Selection as a Machine Learning Problem Jasmin Christian Blanchette1 and Daniel Kühlwein2 1 Fakultät für Informatik, Technische Universität München, Germany

First Page		Document Content
Date: 2014-07-10 18:23:49 Mathematical logic Logical syntax Philosophical logic Automated theorem proving Mathematical proof Axiom of choice Theorem First-order logic Conjecture Logic Mathematics Formal systems		A Survey of Axiom Selection as a Machine Learning Problem Jasmin Christian Blanchette1 and Daniel Kühlwein2 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: www21.in.tum.de Download Document from Source Website File Size: 182,11 KB Share Document on Facebook

	SKELETONS AND MODULI OF STOKES TORSORS by Jean-Baptiste Teyssier Abstract. — We prove an analogue for Stokes torsors of Deligne’s skeleton conjecture and deduce from it the representability of the functor of relative DocID: 1xW1q - View Document
	Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–222) ON GROTHENDIECK–SERRE CONJECTURE CONCERNING PRINCIPAL BUNDLES Ivan Panin DocID: 1xVHY - View Document
	FINITE DECOMPOSITION COMPLEXITY AND THE INTEGRAL NOVIKOV CONJECTURE FOR HIGHER ALGEBRAIC K–THEORY (DRAFT) DANIEL A. RAMRAS, ROMAIN TESSERA, AND GUOLIANG YU Abstract. Decomposition complexity for metric spaces was recen DocID: 1xVhW - View Document
	Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) Vol. XVIII (2018), On Lang’s conjecture for some product-quotient surfaces J ULIEN G RIVAUX , J ULIANA R ESTREPO V ELASQUEZ AND E RWAN ROUSSEAU DocID: 1xVdp - View Document
	NEARBY SLOPES AND BOUNDEDNESS FOR `-ADIC SHEAVES IN POSITIVE CHARACTERISTIC by Jean-Baptiste Teyssier Abstract. — The goal of this paper is to motivate a boundedness conjecture for DocID: 1xUH9 - View Document