Simons Institute for the Theory of Computing

@simonsinstitute

155 tuit · page 1/4
Sciences formelles & physiques Informatique & Cybersécurité
FR

The BRRY analysis of the INW generator is optimal

L'analyse BRRY du générateur INW est optimale

Yakov Shalunov
49 min
★ ★ ★ ★ ☆ 4/5
Générateurs Pseudo-AléatoiresDérandomisationProgrammes De Branchement
Sciences formelles & physiques Sciences — Généralités & Histoire
FR

Pseudorandom bits for low degree modular polynomials

Bits pseudo-aléatoires pour polynômes modulaires de bas degré

Tejas Nareddy
31 min
★ ★ ★ ★ ☆ 4/5
Pseudorandom GeneratorsLow-Degree PolynomialsModular Arithmetic
Sciences formelles & physiques Informatique & Cybersécurité
FR

How to construct random strings

Comment générer des chaînes de caractères aléatoires

Rahul Santhanam
44 min
★ ★ ★ ★ ☆ 4/5
DerandomisationGénérateurs Pseudo-AléatoiresComplexité
Sciences formelles & physiques Informatique & Cybersécurité
FR

Extractors for samplable sources

Extracteurs pour sources échantillonnables

Ronen Shaltiel
69 min
★ ★ ★ ★ ☆ 4/5
ExtracteursDérandomisationComplexité
Sciences formelles & physiques Informatique & Cybersécurité
FR

Pseudorandomness against AM circuits and new oracle separations

Pseudorandomité contre les circuits AM et nouvelles séparations par oracle

Andrew Huang (UC Berkeley)
42 min
★ ★ ★ ★ ☆ 4/5
ComplexitéPseudorandomnessPreuves Interactives
Sciences formelles & physiques Mathématiques
FR

How Haar Is It to Look Random?

À quel point est-il difficile de paraître aléatoire avec Haar ?

Makrand Sinha
63 min
★ ★ ★ ★ ☆ 4/5
PseudorandomnessQuantum ComputingUnitary Design
Sciences formelles & physiques IA — Modèles & Recherche
FR

Evaluating factuality in long-form generation

Évaluer la factualité dans la génération de format long

Mohit Iyyer (University of Maryland, College Park)
46 min
★ ★ ★ ★ ★ 5/5
FactualitéLLMHallucinations
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