Vision-Language-Action · Zhejiang University
LabVLA: A VLA Model for Scientific Lab Robots
LabVLA trains a Qwen3-VL-4B backbone plus DiT action expert on laboratory workflows and reports 71.1% ID and 70.0% OOD success on LabUtopia.
Topics
AI for Science
Machine learning applied to scientific discovery — biology, chemistry, physics, and materials, from protein structure to new materials.
Biomolecular Modeling · Independent Researcher
DynamicMPNN: Multi-State Protein Design with Inverse Folding
DynamicMPNN turns multi-state protein sequence design into a concrete research object, with evidence anchors, method tradeoffs, and limits for practical use.
Biomolecular Modeling · Independent Researcher
Feynman-Kac Steering for Controllable Protein Design
Feynman-Kac steering turns controllable protein design with guided diffusion into a concrete research object, with evidence anchors, method tradeoffs, and limits for practical use.
Theorem Proving · Google Research
HOList: Machine Learning for Higher-Order Theorem Proving
HOList turns machine learning for higher-order theorem proving into a concrete research object, with evidence anchors, method tradeoffs, and limits for practical use.
Theorem Proving · Independent Researcher
MiniF2F: Formal Olympiad Mathematics Benchmark
MiniF2F turns formal Olympiad-level mathematics benchmarking into a concrete research object, with evidence anchors, method tradeoffs, and limits for practical use.
Biomolecular Modeling · Independent Researcher
ProGen2: Protein Language Models for Protein Design
ProGen2 turns protein sequence modeling and design into a concrete research object, with evidence anchors, method tradeoffs, and limits for practical use.
AI Agents · Shanghai AI Laboratory
ResearchClawBench: Testing Autonomous Research Agents
ResearchClawBench: Testing Autonomous Research Agents turns end-to-end scientific research agents into a checkable test, with concrete failure signals, benchmark limits, and builder takeaways.
AI Agents · Independent Researcher
TIDE: Proactive Multi-Problem Discovery with Templates
TIDE: Proactive Multi-Problem Discovery with Templates turns proactive problem discovery into a checkable test, with concrete failure signals, benchmark limits, and builder takeaways.
Theorem Proving · Google DeepMind
AI Formal Proof Search for Open Math Problems
This work evaluates AI-aided formal proof search on open math problems: the strongest agent resolves 9 of 353 Erdos problems and proves 44 of 492 OEIS conjectures.
Biomolecular Modeling · EvolutionaryScale
ESM3: Protein Generation as Evolutionary Simulation
ESM3 is a multimodal protein language model over sequence, structure, and function; it generated a fluorescent protein only 58% identical to known fluorescent proteins.
AI for Science · Microsoft Research
MatterGen Explained: Diffusion for Inverse Materials Design
MatterGen is a diffusion model that generates inorganic crystals matching a target property — and the one example it actually synthesized, TaCr2O6, came within 20% of its 200 GPa stiffness goal.
GENEB: Why Genomic Foundation Models Are So Hard to Compare
GENEB probes frozen representations from 40 genomic foundation models across 100 tasks in 13 functional categories, and finds rankings flip across categories while extra parameters buy only modest, inconsistent gains.
Biomolecular Modeling · Google DeepMind
AlphaFold 3 Explained: Predicting Biomolecular Complexes With Diffusion
AlphaFold 3 replaces AlphaFold 2's structure module with a diffusion network and predicts whole complexes — proteins with nucleic acids, ligands, ions, and modified residues — in one model.