output
20052024
most citedNon-convex Optimization for Machine Learning

354 citations

researchers with a paper here
collaborating institutions
Showing 2011 · cs.LOShow all

2 papers · 2 filters

cs.LO2011★ 7 cited

Nonuniform Coercions via Unification Hints

Claudio Sacerdoti Coen, Enrico Tassi

We introduce the notion of nonuniform coercion, which is the promotion of a value of one type to an enriched value of a different type via a nonuniform procedure. Nonuniform coerci…

cs.LO2011★ 3 cited

Superposition as a logical glue

Andrea Asperti, Enrico Tassi

The typical mathematical language systematically exploits notational and logical abuses whose resolution requires not just the knowledge of domain specific notation and conventions…