AI — Models & Research

2911 tuit · page 13/73
Venturing out into the world with AI
Formal & Physical Sciences AI — Models & Research
EN

Venturing out into the world with AI

Jon Kleinberg
44 min
★ ★ ★ ★ ☆ 4/5
World ModelsLLM InterpretabilityMyhill-Nerode Theorem
Unfamiliar Terrain
Formal & Physical Sciences AI — Models & Research
EN

Unfamiliar Terrain

Prabhakar Raghavan
29 min
★ ★ ★ ★ ☆ 4/5
AI-Assisted Theorem ProvingAlphaEvolveTheoretical Computer Science
Self-evolving AI Agents
Formal & Physical Sciences AI — Models & Research
EN

Self-evolving AI Agents

Minh Trinh
60 min
★ ★ ★ ★ ☆ 4/5
Self-Evolving AgentsAI EvolutionReinforcement Learning
Probamos Composer 2.5...y uff (Ep. 156)
Humanities, Social Sciences & Thought AI — Models & Research
EN

Probamos Composer 2.5...y uff (Ep. 156)

El Test de Turing - Inteligencia Artificial
83 min
★ ★ ★ ☆ ☆ 3/5
Composer 2.5Claude CodeAI News
Red Points and Blue Points
Formal & Physical Sciences AI — Models & Research
EN

Red Points and Blue Points

Santosh Vempala
38 min
★ ★ ★ ★ ☆ 4/5
Learning TheoryPAC LearningHalfspaces
Disincentivizing Hallucination
Formal & Physical Sciences AI — Models & Research
EN

Disincentivizing Hallucination

Jerry Li (OpenAI)
33 min
★ ★ ★ ★ ☆ 4/5
HallucinationLanguage ModelsBenchmarks
Generative AI L30: Quantization
Formal & Physical Sciences AI — Models & Research
EN

Generative AI L30: Quantization

Agha Ali Raza
55 min
★ ★ ★ ★ ☆ 4/5
QuantizationQLoRAFine-Tuning