research
∙
05/07/2023
Sampling and Certifying Symmetric Functions
A circuit 𝒞 samples a distribution 𝐗 with an error ϵ if the statistical ...
share
research
∙
04/05/2023
Top-Down Lower Bounds for Depth-Four Circuits
We present a top-down lower-bound method for depth-4 boolean circuits. I...
research
∙
01/28/2022
Practical lowest distortion mapping
Construction of optimal deformations is one of the long standing problem...
research
∙
02/05/2021
Foldover-free maps in 50 lines of code
Mapping a triangulated surface to 2D space (or a tetrahedral mesh to 3D ...
research
∙
12/02/2019
Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs
We show exponential lower bounds on resolution proof length for pigeonho...
research
∙
09/10/2016
Anti-aliasing for fused filament deposition
Layered manufacturing inherently suffers from staircase defects along su...
research
∙
08/12/2015
Inappropriate use of L-BFGS, Illustrated on frame field design
L-BFGS is a hill climbing method that is guarantied to converge only for...
research
∙
07/13/2015
On Smooth 3D Frame Field Design
We analyze actual methods that generate smooth frame fields both in 2D a...
research
∙
05/23/2012