IA — Modèles & Recherche

4181 tuit · page 4/105
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

New BEST local AI music generator is here!

Le MEILLEUR générateur de musique par IA en local est arrivé !

AI Search
24 min
★ ★ ★ ★ ☆ 4/5
IA MusicaleGénérateur De MusiqueOpen-Source
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 appliquées & ingénierie IA — Modèles & Recherche
FR

This New GPT 6 System Builds Entire 3D Worlds Insanely Well

Ce nouveau système GPT-6 crée des mondes 3D entiers avec une efficacité incroyable

AI Revolution
15 min
★ ★ ★ ★ ☆ 4/5
Génération De JeuxMondes 3DGPT-6
Sciences appliquées & ingénierie IA — Modèles & Recherche
FR

ChatGPT 6 Astra est terrifiant

Yassine Sdiri
22 min
★ ★ ★ ☆ ☆ 3/5
ChatGPTIA GénérativeDémonstration
Sciences formelles & physiques IA — Modèles & Recherche
FR

New BEST AI image generator is here

Le nouveau MEILLEUR générateur d'images IA est arrivé

AI Search
32 min
★ ★ ★ ★ ☆ 4/5
GPT Image 2.5IA GénérativeGénération D'images
Sciences formelles & physiques IA — Modèles & Recherche
FR

Lec 43: Quantization & LLM Inference Optimization

Lec 43 : Quantification et optimisation de l'inférence des LLM

Dr. Satyajit Das et Prof. Satyadhyan Chickerur
23 min
★ ★ ★ ★ ☆ 4/5
QuantificationInférence LLMOptimisation
Sciences appliquées & ingénierie IA — Modèles & Recherche
FR

Lec 42: TrnsorRT & Hardware Acceleration

Lec 42 : TrnsorRT et accélération matérielle

Dr. Satyajit Das et Prof. Satyadhyan Chickerur
24 min
★ ★ ★ ★ ☆ 4/5
TensorRTInférenceAccélération Matérielle