output
20052024
most citedNon-convex Optimization for Machine Learning

354 citations

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

1 paper · 2 filters

cs.LO2014★ 13 cited

Advanced Proof Viewing in ProofTool

Tomer Libal, Martin Riener, Mikheil Rukhaia

Sequent calculus is widely used for formalizing proofs. However, due to the proliferation of data, understanding the proofs of even simple mathematical arguments soon becomes impos…