SOTAVerified

LEMMA

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 51–60 of 628 papers

TitleStatusHype
Disturbance-Adaptive Data-Driven Predictive Control: Trading Comfort Violations for Savings in Building Climate Control—0
Learning k-Inductive Control Barrier Certificates for Unknown Nonlinear Dynamics Beyond Polynomials—0
Score Change of Variables—0
Generating Rectifiable Measures through Neural Networks—0
Certified Learning of Incremental ISS Controllers for Unknown Nonlinear Polynomial Dynamics—0
A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems—0
ChatGPT as speechwriter for the French presidents—0
GPT as ghostwriter at the White House—0
Linear convergence of proximal descent schemes on the Wasserstein space—0
Sparsifying Suprema of Gaussian Processes—0
Show:102550
← PrevPage 6 of 63Next →

No leaderboard results yet.