EmbodiedOneVision: Interleaved Vision-Text-Action Pretraining for General Robot Control7просмотровгод назад
BED-LLM: Intelligent Information Gathering with LLMs and Bayesian Experimental Design8просмотровгод назад
GOEDEL-PROVER-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction5просмотровгод назад
DeepScholar-Bench: A Live Benchmark and Automated Evaluation for Generative Research Synthesis1просмотргод назад
LIVEMCP-101: Stress Testing and Diagnosing MCP-Enabled Agents on Challenging Queries3просмотрагод назад
