SOTAVerified

Ingenuity

Locomotion environment inspired by NASA’s Ingenuity helicopter.

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 1–25 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
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
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
Opening the Black Box of 3D Reconstruction Error Analysis with VECTORCode1
Reasoning in Token Economies: Budget-Aware Evaluation of LLM Reasoning Strategies—0
Maximum Entropy Reinforcement Learning via Energy-Based Normalizing FlowCode1
Extended Reality for Enhanced Human-Robot Collaboration: a Human-in-the-Loop Approach—0
DeepPolar: Inventing Nonlinear Large-Kernel Polar Codes via Deep LearningCode1
EduQuick: A Dataset Toward Evaluating Summarization of Informal Educational Content for Social Media—0
Universal and Transferable Adversarial Attacks on Aligned Language ModelsCode4
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
MaRF: Representing Mars as Neural Radiance FieldsCode1
Discovered Policy OptimisationCode3
Mars Rover Localization Based on A2G Obstacle Distribution Pattern MatchingCode0
AutoQC: Automated Synthesis of Quantum Circuits Using Neural Network—0
Challenges and Complexities in Machine Learning based Credit Card Fraud Detection—0
Show:102550
← PrevPage 1 of 2Next →

No leaderboard results yet.