Uploads by 刘行

HyperTree Proof Search for Neural Theorem Proving

CIRCLE SQUARING WITH PIECES OF SMALL BOUNDARY AND LOW BOREL COMPLEXITY

Deep Exemplar-based Colorization

Measurable equidecompositions for group actions with an expansion property

ON ZEROS OF A POLYNOMIAL IN A FINITE GRID