SOTAVerified

Ingenuity

Locomotion environment inspired by NASA’s Ingenuity helicopter.

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 1–25 of 46 papers

TitleStatusHype
Universal and Transferable Adversarial Attacks on Aligned Language ModelsCode4
Automating the Search for Artificial Life with Foundation ModelsCode3
Discovered Policy OptimisationCode3
Can Language Models Falsify? Evaluating Algorithmic Reasoning with Counterexample CreationCode1
Opening the Black Box of 3D Reconstruction Error Analysis with VECTORCode1
Maximum Entropy Reinforcement Learning via Energy-Based Normalizing FlowCode1
DeepPolar: Inventing Nonlinear Large-Kernel Polar Codes via Deep LearningCode1
MaRF: Representing Mars as Neural Radiance FieldsCode1
Pretrained Language Models are Symbolic Mathematics Solvers too!Code1
Towards Robust Monocular Visual Odometry for Flying Robots on Planetary MissionsCode1
Creating 'Full-Stack' Hybrid Reasoning Systems that Prioritize and Enhance Human Intelligence—0
Engineering Microbial Symbiosis for Mars Habitability—0
Vision-based Geo-Localization of Future Mars Rotorcraft in Challenging Illumination Conditions—0
Beyond checkmate: exploring the creative chokepoints in AI textCode0
The Ingenuity Mars Helicopter Specified and Analyzed with the Real-time Mode-aware Dataflow Model—0
Real-time Mode-Aware Dataflow: A Dataflow Model to Specify and Analyze Mode-dependent CPSs under Relaxed Timing Constraints—0
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
Reasoning in Token Economies: Budget-Aware Evaluation of LLM Reasoning Strategies—0
Extended Reality for Enhanced Human-Robot Collaboration: a Human-in-the-Loop Approach—0
EduQuick: A Dataset Toward Evaluating Summarization of Informal Educational Content for Social Media—0
Math Word Problem Solving by Generating Linguistic Variants of Problem StatementsCode0
Onboard Science Instrument Autonomy for the Detection of Microscopy Biosignatures on the Ocean Worlds Life Surveyor—0
ProductAE: Toward Deep Learning Driven Error-Correction Codes of Large Dimensions—0
Mars Rover Localization Based on A2G Obstacle Distribution Pattern MatchingCode0
Show:102550
← PrevPage 1 of 2Next →

No leaderboard results yet.