SOTAVerified

Ingenuity

Locomotion environment inspired by NASA’s Ingenuity helicopter.

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 1–46 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
DeepPolar: Inventing Nonlinear Large-Kernel Polar Codes via Deep LearningCode1
Can Language Models Falsify? Evaluating Algorithmic Reasoning with Counterexample CreationCode1
MaRF: Representing Mars as Neural Radiance FieldsCode1
Opening the Black Box of 3D Reconstruction Error Analysis with VECTORCode1
Maximum Entropy Reinforcement Learning via Energy-Based Normalizing FlowCode1
Pretrained Language Models are Symbolic Mathematics Solvers too!Code1
Towards Robust Monocular Visual Odometry for Flying Robots on Planetary MissionsCode1
Engineering Microbial Symbiosis for Mars Habitability—0
Exploiting Multi-modal Contextual Sensing for City-bus's Stay Location Characterization: Towards Sub-60 Seconds Accurate Arrival Time Prediction—0
Extended Reality for Enhanced Human-Robot Collaboration: a Human-in-the-Loop Approach—0
From Defects to Demands: A Unified, Iterative, and Heuristically Guided LLM-Based Framework for Automated Software Repair and Requirement Realization—0
How Life Works: Darwinian Evolution of Proteins—0
Interspecies Collaboration in the Design of Visual Identity: A Case Study—0
Web development system project report—0
A Neuromorphic Vision-Based Measurement for Robust Relative Localization in Future Space Exploration Missions—0
An online learning approach to dynamic pricing and capacity sizing in service systems—0
AutoQC: Automated Synthesis of Quantum Circuits Using Neural Network—0
Bayesian and Algebraic Strategies to Design in Synthetic Biology—0
Challenges and Complexities in Machine Learning based Credit Card Fraud Detection—0
Creating 'Full-Stack' Hybrid Reasoning Systems that Prioritize and Enhance Human Intelligence—0
Deep Graphs—0
Depth Selection for Deep ReLU Nets in Feature Extraction and Generalization—0
EduQuick: A Dataset Toward Evaluating Summarization of Informal Educational Content for Social Media—0
Recursive Reinforcement Learning—0
Reinforcement Learning for Volt-Var Control: A Novel Two-stage Progressive Training Strategy—0
Smart Induction for Isabelle/HOL (System Description)—0
The Case for a Mixed-Initiative Collaborative Neuroevolution Approach—0
The Ingenuity Mars Helicopter Specified and Analyzed with the Real-time Mode-aware Dataflow Model—0
Vision-based Geo-Localization of Future Mars Rotorcraft in Challenging Illumination Conditions—0
Onboard Science Instrument Autonomy for the Detection of Microscopy Biosignatures on the Ocean Worlds Life Surveyor—0
On Hyperspectral Unmixing—0
Performance Evaluation of Machine Learning Algorithms in Post-operative Life Expectancy in the Lung Cancer Patients—0
Polymers for Extreme Conditions Designed Using Syntax-Directed Variational Autoencoders—0
Practical optimal experiment design with probabilistic programs—0
ProductAE: Toward Deep Learning Driven Error-Correction Codes of Large Dimensions—0
Real-time Mode-Aware Dataflow: A Dataflow Model to Specify and Analyze Mode-dependent CPSs under Relaxed Timing Constraints—0
Reasoning in Token Economies: Budget-Aware Evaluation of LLM Reasoning Strategies—0
Math Word Problem Solving by Generating Linguistic Variants of Problem StatementsCode0
Beyond checkmate: exploring the creative chokepoints in AI textCode0
Communication Algorithms via Deep LearningCode0
Mars Rover Localization Based on A2G Obstacle Distribution Pattern MatchingCode0
Automatic Discovery and Description of Human Planning StrategiesCode0
A free web service for fast COVID-19 classification of chest X-Ray imagesCode0
Show:102550

No leaderboard results yet.