How I Study AI - Learn AI Papers & Lectures the Easy Way

Intermediate

Elron Bandel, Asaf Yehudai et al.Feb 26arXiv

This paper shows how to fairly test "general-purpose" AI agents that should work in many places without special tweaks.

#general-purpose agents#agent evaluation#unified protocol

Intermediate

Haiyang Xu, Xi Zhang et al.Feb 15arXiv

This paper builds GUI-Owl-1.5, an AI that can use phones, computers, and web browsers like a careful human helper.

#GUI agent#visual grounding#reinforcement learning

Intermediate

Junqi Liu, Zihao Zhou et al.Jan 20arXiv

Numina-Lean-Agent is a new open system that uses a general coding agent to write and check exact math proofs in Lean without special training.

#formal theorem proving#Lean#agentic reasoning

Papers3