SOTAVerified

Ingenuity

Locomotion environment inspired by NASA’s Ingenuity helicopter.

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 1–10 of 46 papers

TitleStatusHype
Creating 'Full-Stack' Hybrid Reasoning Systems that Prioritize and Enhance Human Intelligence—0
Engineering Microbial Symbiosis for Mars Habitability—0
Can Language Models Falsify? Evaluating Algorithmic Reasoning with Counterexample CreationCode1
Vision-based Geo-Localization of Future Mars Rotorcraft in Challenging Illumination Conditions—0
Beyond checkmate: exploring the creative chokepoints in AI textCode0
Real-time Mode-Aware Dataflow: A Dataflow Model to Specify and Analyze Mode-dependent CPSs under Relaxed Timing Constraints—0
The Ingenuity Mars Helicopter Specified and Analyzed with the Real-time Mode-aware Dataflow Model—0
Automating the Search for Artificial Life with Foundation ModelsCode3
From Defects to Demands: A Unified, Iterative, and Heuristically Guided LLM-Based Framework for Automated Software Repair and Requirement Realization—0
Web development system project report—0
Show:102550
← PrevPage 1 of 5Next →

No leaderboard results yet.