Diffusion-Proof: Recipe for Formal Theorem Proving Beyond Auto-Regressive Generation
A robotics research paper on Diffusion-Proof: Recipe for Formal Theorem Proving Beyond Auto-Regressive Generation.
Engineering 5.0 · Research 7.0 · Business 4.0
Robotics Papers with Code, Datasets and Engineering Notes
Browse curated robotics papers about humanoid robots, embodied AI, robot manipulation, VLA models, Diffusion Policy, Sim2Real and robot foundation models.
NeuMesh++: Towards Versatile and Efficient Volumetric Editing with Disentangled Neural Mesh-based Implicit Field
A robotics research paper on NeuMesh++: Towards Versatile and Efficient Volumetric Editing with Disentangled Neural Mesh-based Implicit Field.
Engineering 5.0 · Research 7.0 · Business 4.0
Explaining Attention with Program Synthesis
A robotics research paper on Explaining Attention with Program Synthesis.
Engineering 5.0 · Research 7.0 · Business 4.0
Data Intelligence Agents: Interpreting, Modeling, and Querying Enterprise Data via Autonomous Coding Agents
A robotics research paper on Data Intelligence Agents: Interpreting, Modeling, and Querying Enterprise Data via Autonomous Coding Agents.
Engineering 5.0 · Research 7.0 · Business 4.0
Reference-Driven Multi-Speaker Audio Scene Generation from In-the-Wild Priors
A robotics research paper on Reference-Driven Multi-Speaker Audio Scene Generation from In-the-Wild Priors.
Engineering 5.0 · Research 7.0 · Business 4.0
Rethinking Reward Supervision: Rubric-Conditioned Self-Distillation
A robotics research paper on Rethinking Reward Supervision: Rubric-Conditioned Self-Distillation.
Engineering 5.0 · Research 7.0 · Business 4.0
UBP2: Uncertainty-Balanced Preference Planning for Efficient Preference-based Reinforcement Learning
A robotics research paper on UBP2: Uncertainty-Balanced Preference Planning for Efficient Preference-based Reinforcement Learning.
Engineering 5.0 · Research 7.0 · Business 4.0
The Chandra-Gaia Catalog of Counterparts: Resolving ambiguous Gaia matches to X-ray sources in the Chandra Source Catalog using Machine Learning
A robotics research paper on The Chandra-Gaia Catalog of Counterparts: Resolving ambiguous Gaia matches to X-ray sources in the Chandra Source Catalog using Machine Learning.
Engineering 5.0 · Research 7.0 · Business 4.0
Do as I Do: Dexterous Manipulation Data from Everyday Human Videos
A robotics research paper on Do as I Do: Dexterous Manipulation Data from Everyday Human Videos.
Engineering 5.0 · Research 7.0 · Business 4.0
Freeing the Law with LOCUS: A Local Ordinance Corpus for the United States
A robotics research paper on Freeing the Law with LOCUS: A Local Ordinance Corpus for the United States.
Engineering 5.0 · Research 7.0 · Business 4.0
Beyond the Current Observation: Evaluating Multimodal Large Language Models in Controllable Non-Markov Games
A robotics research paper on Beyond the Current Observation: Evaluating Multimodal Large Language Models in Controllable Non-Markov Games.
Engineering 5.0 · Research 7.0 · Business 4.0
Native Active Perception as Reasoning for Omni-Modal Understanding
A robotics research paper on Native Active Perception as Reasoning for Omni-Modal Understanding.
Engineering 5.0 · Research 7.0 · Business 4.0
Zero-Shot Long-Horizon Dexterous Manipulation via Multi-View 3D-Grounded VLM Reasoning
A robotics research paper on Zero-Shot Long-Horizon Dexterous Manipulation via Multi-View 3D-Grounded VLM Reasoning.
Engineering 5.0 · Research 7.0 · Business 4.0
Real-World Deployment of Massively Parallel Sampling-Based MPC for Contact-Rich Manipulation
A robotics research paper on Real-World Deployment of Massively Parallel Sampling-Based MPC for Contact-Rich Manipulation.
Engineering 5.0 · Research 7.0 · Business 4.0
N(CO)$^2$: Neural Combinatorial Optimization with Chance Constraints to Solve Stochastic Orienteering
A robotics research paper on N(CO)$^2$: Neural Combinatorial Optimization with Chance Constraints to Solve Stochastic Orienteering.
Engineering 5.0 · Research 7.0 · Business 4.0
Recover, Discover, Plan: Learning Skills and Concepts from Robot Failures
A robotics research paper on Recover, Discover, Plan: Learning Skills and Concepts from Robot Failures.
Engineering 5.0 · Research 7.0 · Business 4.0
Guava: An Effective and Universal Harness for Embodied Manipulation
A robotics research paper on Guava: An Effective and Universal Harness for Embodied Manipulation.
Engineering 5.0 · Research 7.0 · Business 4.0
PAIWorld: A 3D-Consistent World Foundation Model for Robotic Manipulation
A robotics research paper on PAIWorld: A 3D-Consistent World Foundation Model for Robotic Manipulation.
Engineering 5.0 · Research 7.0 · Business 4.0
Embodiment Shapes Rolling Behavior in a Multimodal Infant Model
A robotics research paper on Embodiment Shapes Rolling Behavior in a Multimodal Infant Model.
Engineering 5.0 · Research 7.0 · Business 4.0
When Robots Sleep: Offline Skill Consolidation for Shared-Policy Robot Learning
A robotics research paper on When Robots Sleep: Offline Skill Consolidation for Shared-Policy Robot Learning.
Engineering 5.0 · Research 7.0 · Business 4.0