SOTAVerified

Ingenuity

Locomotion environment inspired by NASA’s Ingenuity helicopter.

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 41–46 of 46 papers

TitleStatusHype
Smart Induction for Isabelle/HOL (System Description)—0
Deep Graphs—0
Communication Algorithms via Deep LearningCode0
Practical optimal experiment design with probabilistic programs—0
Performance Evaluation of Machine Learning Algorithms in Post-operative Life Expectancy in the Lung Cancer Patients—0
The Case for a Mixed-Initiative Collaborative Neuroevolution Approach—0
Show:102550
← PrevPage 5 of 5Next →

No leaderboard results yet.