Simons Institute for the Theory of Computing

@simonsinstitute

144 tuit · page 1/4
Sciences formelles & physiques IA — Modèles & Recherche
FR

Sequential Statistical Methods for Reliable Machine Learning

Méthodes statistiques séquentielles pour un apprentissage automatique fiable

Jeremias Sulam
46 min
★ ★ ★ ★ ☆ 4/5
Statistiques SéquentiellesApprentissage Automatique FiableConformal Prediction
Sciences appliquées & ingénierie IA — Modèles & Recherche
FR

LabOS: The AI-XR Co-Scientist That Sees and Works With Humans

LabOS: Le co-scientifique IA-XR qui voit et travaille avec les humains

Kuang Xu (Stanford University)
31 min
★ ★ ★ ★ ☆ 4/5
LabOSIA Co-ScientifiqueRéalité Étendue
Sciences formelles & physiques Physique
FR

Aldous' spectral gap phenomenon for the KMP model

Le phénomène de trou spectral d'Aldous pour le modèle KMP

Federico Sau
63 min
★ ★ ★ ★ ☆ 4/5
Modèle KMPÉcart SpectralProbabilités
Sciences formelles & physiques IA — Modèles & Recherche
FR

A computational phase transition for learning-to-sample from Ising models

Une transition de phase computationnelle pour apprendre à échantillonner à partir de modèles d'Ising

Thuy-Duong (June) Vuong
43 min
★ ★ ★ ★ ☆ 4/5
Apprentissage À Partir D'échantillonsModèle D'IsingTransition De Phase Computationnelle
Sciences formelles & physiques IA — Modèles & Recherche
FR

How abundant are good interpolators?

Quelle est l'abondance des bons interpolateurs ?

Ahmed El Alaoui
44 min
★ ★ ★ ★ ☆ 4/5
InterpolationGénéralisationGrandes Déviations
Sciences formelles & physiques IA — Modèles & Recherche
FR

Signed Rectified Flow: Negativity-Controlled Generation

Signed Rectified Flow : génération avec contrôle de négativité

Qiang Liu
45 min
★ ★ ★ ★ ☆ 4/5
Rectified FlowGénération Par FlotsMesures Signées
Sciences formelles & physiques Mathématiques
FR

Rare event analysis via stochastic optimal control

Analyse des événements rares via le contrôle optimal stochastique

Carles Domingo-Enrich
48 min
★ ★ ★ ★ ☆ 4/5
Événements RaresCommittorContrôle Optimal Stochastique
Sciences formelles & physiques IA — Modèles & Recherche
FR

How to Build a Modern Diffusion Language Model

Comment construire un modèle de langage à diffusion moderne

Volodymyr Kuleshov
48 min
★ ★ ★ ★ ☆ 4/5
DiffusionModèles De LangageGénération Parallèle
Sciences formelles & physiques Mathématiques
FR

Functional Stochastic Localization

Localisation stochastique fonctionnelle

Kevin Tian
42 min
★ ★ ★ ★ ☆ 4/5
Localisation StochastiqueÉchantillonnageOptimisation
Sciences formelles & physiques IA — Modèles & Recherche
FR

Do we need diffusion in robotics?

Avons-nous besoin de la diffusion en robotique ?

Max Simchowitz
48 min
★ ★ ★ ★ ☆ 4/5
DiffusionRobotiqueImitation Learning
Sciences formelles & physiques IA — Modèles & Recherche
FR

Compositional Reasoning with Diffusion Models

Raisonnement compositionnel avec des modèles de diffusion

Yilun Du
47 min
★ ★ ★ ★ ☆ 4/5
Modèles De DiffusionRaisonnementÉnergie
Sciences formelles & physiques IA — Modèles & Recherche
FR

Talk by Kirill Neklyudov (University of Montreal)

Conférence de Kyrylo Nikulov (Université de Montréal)

Kirill Neklyudov
44 min
★ ★ ★ ★ ☆ 4/5
Génération De ProtéinesModèles GénératifsOpérations Ensemblistes
Sciences formelles & physiques Informatique & Cybersécurité
FR

Sampling from the Sherrington-Kirkpatrick model up to β<1/2

Échantillonnage du modèle de Sherrington-Kirkpatrick jusqu'à β<1/2

Holden Lee
46 min
★ ★ ★ ★ ☆ 4/5
Sherrington-KirkpatrickÉchantillonnageLocalisation Stochastique
Sciences formelles & physiques IA — Modèles & Recherche
FR

Optimal Inference Schedules for Masked Diffusion Models

Programmes d'inférence optimaux pour les modèles de diffusion masqués

Jerry Li
39 min
★ ★ ★ ★ ☆ 4/5
Diffusion MasquéeInférence ParallèleThéorie De L'information
Sciences formelles & physiques IA — Modèles & Recherche
FR

Normalizing Flow Maps

Cartes de flux de normalisation

Joey Bose
49 min
★ ★ ★ ★ ☆ 4/5
Normalizing FlowsDiffusion ModelsFlow Matching
Sciences formelles & physiques IA — Modèles & Recherche
FR

A new class of algorithms for trajectory inference

Une nouvelle classe d'algorithmes pour l'inférence de trajectoires

Aram-Alexandre Pooladian
42 min
★ ★ ★ ★ ☆ 4/5
Trajectory InferenceProbability SplinesGenerative Modeling
Sciences formelles & physiques Physique
FR

Stochastic dynamics as a proof technique

La dynamique stochastique comme technique de preuve

Andrea Montanari
62 min
★ ★ ★ ★ ☆ 4/5
GraphesModèle D'IsingConvergence Locale
Sciences formelles & physiques IA — Modèles & Recherche
FR

Finite-particles rates for drifting models

Taux de particules finies pour les modèles à dérive

Krishna Balasubramanian
47 min
★ ★ ★ ★ ☆ 4/5
Drifting ModelsGénération GénérativeTaux De Convergence
Sciences formelles & physiques IA — Modèles & Recherche
FR

Efficient Reinforcement Learning for Diffusion Models

Apprentissage par renforcement efficace pour les modèles de diffusion

Yongxin Chen
46 min
★ ★ ★ ★ ☆ 4/5
Apprentissage Par RenforcementModèles De DiffusionEfficacité
Sciences formelles & physiques IA — Modèles & Recherche
FR

Distributional Diffusion Models

Modèles de diffusion distributionnels

Valentin de Bortoli (Google DeepMind)
48 min
★ ★ ★ ★ ☆ 4/5
Diffusion ModelsGénération D'imagesAccélération D'inférence
Sciences humaines, sociales & pensée IA & Société
FR

Talk by Hsin-Yuan Huang (Oratomic, Caltech)

Conférence de Hsin-Yuan Huang (Oratomic, Caltech)

Hsin-Yuan Huang
78 min
★ ★ ★ ★ ☆ 4/5
Automatisation De La RechercheLLMIntelligence Artificielle
Sciences formelles & physiques Informatique & Cybersécurité
FR

Talk by Chris Pattison (UC Berkeley)

Présentation de Chris Pattison (UC Berkeley)

Chris Pattison
52 min
★ ★ ★ ★ ☆ 4/5
Calcul QuantiqueTolérance Aux FautesArchitecture
Sciences formelles & physiques Informatique & Cybersécurité
FR

Efficient Quantum Algorithm for Heisenberg Spin Systems

Algorithme quantique efficace pour les systèmes de spins de Heisenberg

Benjamin Wong
42 min
★ ★ ★ ★ ☆ 4/5
Algorithme QuantiqueModèle De HeisenbergAdiabatique
Sciences formelles & physiques Informatique & Cybersécurité
FR

Building a Quantum Computer with QLDPC Codes

Construire un ordinateur quantique avec des codes QLDPC

Sunny Zhiyang He
60 min
★ ★ ★ ★ ☆ 4/5
QLDPCInformatique QuantiqueCodes Correcteurs