Sublime

叶

叶昊

@asdasdgg

D

Dragan Okanovic

@abstractalgo

Thumbnail of www-x-com-akhaliq-status-1649244466073464836-6e32e60705db476e

A Theory on Adam Instability in Large-Scale Machine Learning abs: https://t.co/mlyFuuqP8Q https://t.co/pw5150Ebbt

AK

x.com

AgentBench: Evaluating LLMs as Agents

Xiao Liu • AgentBench: Evaluating LLMs as Agents

Preview of 17413742111185854691967696271365-jpeg

B

Bartosz

@aequales

Thumbnail of www-x-com-deedydas-status-1816515078562431241-a4f917f9774749c6

Google just dropped an elite AI mathematician. It's a neuro-symbolic system that formalizes problems into Lean, a formal language, with a fine-tuned Gemini and uses AlphaZero-style search to solve them. Solves 4/6 on IMO 2024, a Silver medal. The future of Math be AI-assisted.... See more

Deedy

x.com

Z

Zhiyang Li

@zhyl

The Topological Semantic Graph Memory framework enables robots to efficiently navigate unknown environments using landmark-based graph memory collected via an RGB-D camera, outperforming existing methods and demonstrating success in real-world scenarios https://t.co/Jfx5CWJ5nI https://t.co/de9V8Wz3ND

rsasaki0109 x.com