SOTAVerified

LEMMA

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 71–80 of 628 papers

TitleStatusHype
How good is GPT at writing political speeches for the White House?—0
Disturbance-Adaptive Data-Driven Predictive Control: Trading Comfort Violations for Savings in Building Climate Control—0
Score Change of Variables—0
Learning k-Inductive Control Barrier Certificates for Unknown Nonlinear Dynamics Beyond Polynomials—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
Sparsifying Suprema of Gaussian Processes—0
Show:102550
← PrevPage 8 of 63Next →

No leaderboard results yet.