IA — Modèles & Recherche

4554 tuit · page 10/114
Sciences appliquées & ingénierie IA — Modèles & Recherche
FR

Grok 4.7: No-Hype Full Review & Testing

Grok 4.7 : Test complet et sans langue de bois

Pat Simmons
22 min
★ ★ ★ ★ ☆ 4/5
Grok 4.7XAIModèle De Langage
Sciences formelles & physiques IA — Modèles & Recherche
FR

Finally! New best local AI image editor is here

Enfin ! Le nouvel éditeur d'images IA local ultime est arrivé

AI Search
19 min
★ ★ ★ ★ ☆ 4/5
QwenIA GénérativeImage Editing
Sciences humaines, sociales & pensée IA — Modèles & Recherche
FR

Fable 5.2 vient d'humilier GPT-6 Astra

AI Revolution en Français
16 min
★ ★ ★ ★ ☆ 4/5
IAAnthropicOpenAI
Sciences humaines, sociales & pensée IA — Modèles & Recherche
FR

Fable 5.2 Just Embarrassed GPT-6 Astra

Fable 5.2 vient d'humilier GPT-6 Astra

AI Revolution
14 min
★ ★ ★ ☆ ☆ 3/5
IAAnthropicOpenAI
Sciences appliquées & ingénierie IA — Modèles & Recherche
FR

Build & Sell with Codex (5+ Hour Course)

Construisez et vendez avec Codex (cours de plus de 5 heures)

Nate Herk
310 min
★ ★ ★ ★ ☆ 4/5
CodexIAAutomation
Sciences appliquées & ingénierie IA — Modèles & Recherche
FR

RAG and Agents - AI Engineering

RAG et Agents - Ingénierie de l'IA

San Diego Machine Learning
110 min
★ ★ ★ ★ ☆ 4/5
RAGRetrievalEmbedding
Sciences formelles & physiques IA — Modèles & Recherche
FR

DeepSeek just solved LLM inferencing (again)

DeepSeek vient de résoudre l'inférence LLM (encore une fois)

Neural Breakdown with AVB
37 min
★ ★ ★ ★ ☆ 4/5
DeepSeekLLM InferenceCausal Encoder Decoder
Sciences formelles & physiques IA — Modèles & Recherche
FR

DeepSeek Just Shrunk the KV Cache 437×

DeepSeek vient de réduire le cache KV de 437×

Kai
15 min
★ ★ ★ ★ ★ 5/5
KV CacheDeepSeekArchitecture De Modèle
Sciences appliquées & ingénierie IA — Modèles & Recherche
FR

Lec 55: Quality of LLM Assisted SVA Generation

Lec 55 : Qualité de la génération de SVA assistée par LLM

Prof. Chandan Karfa
30 min
★ ★ ★ ★ ☆ 4/5
LLMSVAVérification Formelle
Sciences appliquées & ingénierie IA — Modèles & Recherche
FR

Lec 54: LLM Assisted SVA generation with Montecarlo Tree Search

Lec 54: Génération de SVA assistée par LLM avec recherche arborescente de Montecarlo

Chandan Karfa
26 min
★ ★ ★ ★ ☆ 4/5
Vérification FormelleAssertions SVAGrands Modèles De Langage
Sciences appliquées & ingénierie IA — Modèles & Recherche
FR

Lec 53: LLM Assisted Assertion Generation for Verification

Lec 53: Génération d'assertions assistée par LLM pour vérification

Prof. Chandan Karfa
35 min
★ ★ ★ ★ ☆ 4/5
LLMAssertionVérification Formelle
Sciences humaines, sociales & pensée IA — Modèles & Recherche
FR

Gemini 4 RSI Leak Destroys Astra and Fable in Benchmarks

La fuite du Gemini 4 RSI pulvérise Astra et Fable dans les benchmarks

AI Revolution
13 min
★ ★ ★ ☆ ☆ 3/5
Gemini 4IA GénérativeBenchmarks
Sciences formelles & physiques IA — Modèles & Recherche
FR

Deepseek just did the impossible

DeepSeek vient de réaliser l'impossible

AI Search
31 min
★ ★ ★ ★ ★ 5/5
DeepSeekIA GénérativeArchitecture De Modèle
Sciences formelles & physiques IA — Modèles & Recherche
FR

Lec 31: Diffusion Models - I

Lec 31 : Modèles de diffusion - I

Prof. Arijit Sur
55 min
★ ★ ★ ★ ☆ 4/5
Modèles De DiffusionDDPMApprentissage Profond
Sciences formelles & physiques IA — Modèles & Recherche
FR

How AI Got Smaller And Still Became Smarter

Comment l'IA est devenue plus petite et est devenue plus intelligente

Kai
13 min
★ ★ ★ ★ ☆ 4/5
IAModèle De LangageParamètres Actifs