SOTAVerified

Ingenuity

Locomotion environment inspired by NASA’s Ingenuity helicopter.

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 1–46 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
A Neuromorphic Vision-Based Measurement for Robust Relative Localization in Future Space Exploration Missions—0
Recursive Reinforcement Learning—0
Interspecies Collaboration in the Design of Visual Identity: A Case Study—0
Reinforcement Learning for Volt-Var Control: A Novel Two-stage Progressive Training Strategy—0
Pretrained Language Models are Symbolic Mathematics Solvers too!Code1
Automatic Discovery and Description of Human Planning StrategiesCode0
Towards Robust Monocular Visual Odometry for Flying Robots on Planetary MissionsCode1
Bayesian and Algebraic Strategies to Design in Synthetic Biology—0
On Hyperspectral Unmixing—0
Exploiting Multi-modal Contextual Sensing for City-bus's Stay Location Characterization: Towards Sub-60 Seconds Accurate Arrival Time Prediction—0
How Life Works: Darwinian Evolution of Proteins—0
Polymers for Extreme Conditions Designed Using Syntax-Directed Variational Autoencoders—0
An online learning approach to dynamic pricing and capacity sizing in service systems—0
A free web service for fast COVID-19 classification of chest X-Ray imagesCode0
Depth Selection for Deep ReLU Nets in Feature Extraction and Generalization—0
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

No leaderboard results yet.