Sign in

Adrien Corenflos

@adriencorenflos.bsky.social
577 followers 522 following 367 posts

Assistant Professor at the university of Warwick. I compute integrals for a living. adriencorenflos.github.io

PostsRepliesMedia
Adrien Corenflos @adriencorenflos.bsky.social · 14h
It's interesting though, it gave me a better idea of what the pure side of maths has been talking about: resolving the conjecture may slow down progress rather than help.
010
Adrien Corenflos @adriencorenflos.bsky.social · 15h
That one landed closer to home eh.
110
Adrien Corenflos @adriencorenflos.bsky.social · 03/10/2026
Les articles sous stat.ML sont automatiquement cross-listés sous cs.LG, donc perso j'ai jamais vu l'utilité de cs.LG.
110
Adrien Corenflos @adriencorenflos.bsky.social · 26/09/2026
You give me too much credit. The ladder needs to go to the shed. I used it to trim something in the front garden and it started raining...
010
Adrien Corenflos @adriencorenflos.bsky.social · 26/09/2026
I have lived here for almost a year I'll have you know.
130
Adrien Corenflos @adriencorenflos.bsky.social · 26/09/2026
And it's already built. Unacceptable
110
Adrien Corenflos @adriencorenflos.bsky.social · 26/09/2026
Were you not supposed to just have moved in? How come it's already organized?
110
Adrien Corenflos @adriencorenflos.bsky.social · 25/09/2026
The guy has a retracted proof of the Riemann hypothesis in a stats journal. So... It's a shame though, his good work is actually really good, but it seems he's somewhat delusional.
000
Adrien Corenflos @adriencorenflos.bsky.social · 16/09/2026
Wait until that's your first paper :D I think mine took 4-5 months and that was a quick turnover.
010
Reposted by Adrien Corenflos
Mattan S. Ben-Shachar @mattansb.msbstats.info · 14/09/2026
Upgrading my "hedghog-cake as an estimand" slide with some more hedgehog cakes from hell. #statsmeme
4588
Adrien Corenflos @adriencorenflos.bsky.social · 14/09/2026
You're half a monster, but it's the half that matters.
020
Adrien Corenflos @adriencorenflos.bsky.social · 12/09/2026
Well, the most angry people shout the loudest too. Don't let it get under your skin
140
Adrien Corenflos @adriencorenflos.bsky.social · 12/09/2026
To be frank, I've never had much hope for the love of maths from the general public (hell, even from our own students).
110
Adrien Corenflos @adriencorenflos.bsky.social · 12/09/2026
static.klipy.com
Homer Simpson in NPC Echo Chamber
ALT: Homer Simpson in NPC Echo Chamber
010
Reposted by Adrien Corenflos
Terence Tao @teorth.bsky.social · 11/09/2026
A group of 25 Fields Medalists, including myself, have made a joint declaration on Math and AI: mathandai.org . We welcome additional signatories. See also this article in the Economist announcing the declaration: www.economist.com/science-and-...
mathandai.org
Declaration — Math and AI
Read the declaration and add your name.
422060932
Adrien Corenflos @adriencorenflos.bsky.social · 11/09/2026
Looks like a mushroom
011
Reposted by Adrien Corenflos
Alex Hern @hern.bsky.social · 06/09/2026
Just realised I feel about cars like half of you feel about LLMs. “Oh but you can’t deny it’s convenient” I don’t deny it’s convenient, I attest that it sucks to live in the world it created
622634
Adrien Corenflos @adriencorenflos.bsky.social · 20/08/2026
Welcome to the wonderful world of inverse problems
010
Adrien Corenflos @adriencorenflos.bsky.social · 14/08/2026
I was reading today about the Borell-TIS inequality, which is named after Christer Borell, and then three people who had the bad idea of not writing a single author paper. en.wikipedia.org/wiki/Borell%...
en.wikipedia.org
Borell–TIS inequality - Wikipedia
030
Reposted by Adrien Corenflos
Maria Antoniak @mariaa.bsky.social · 09/08/2026
Wow, I love this short piece about writing and revision, comparing students to experts: psychology.yale.edu/sites/defaul... Good writing is good thinking. AI might assist but can't do that for me. I'm writing for a deadline tonight, and it's wonderful I get to write, and think, for work.
Scan of text from: https://psychology.yale.edu/sites/default/files/sommers_onrevisionstrategies.pdfScan of text from: https://psychology.yale.edu/sites/default/files/sommers_onrevisionstrategies.pdfScan of text from: https://psychology.yale.edu/sites/default/files/sommers_onrevisionstrategies.pdfScan of text from: https://psychology.yale.edu/sites/default/files/sommers_onrevisionstrategies.pdf
25710
Adrien Corenflos @adriencorenflos.bsky.social · 09/08/2026
A good summary of the holiday!
140
Adrien Corenflos @adriencorenflos.bsky.social · 07/08/2026
This guy started off as a magician en.wikipedia.org/wiki/Persi_D... Some of his most famous work is about the theory of shuffling.
en.wikipedia.org
Persi Diaconis - Wikipedia
130
Adrien Corenflos @adriencorenflos.bsky.social · 31/07/2026
Ah and given you said above you cared about GPU: projecteuclid.org/journals/ele...
projecteuclid.org
Auxiliary MCMC samplers for parallelisable inference in high-dimensional latent dynamical systems
Sampling from the full posterior distribution of high-dimensional non-linear, non-Gaussian latent dynamical models presents significant computational challenges. While Particle Gibbs (also known as conditional sequential Monte Carlo) is considered the gold standard for this task, it quickly degrades in performance as the latent space dimensionality increases. Conversely, globally Gaussian-approximated methods like extended Kalman filtering, though more robust, are seldom used for posterior sampling due to their inherent bias. We introduce novel auxiliary sampling approaches that address these limitations. By incorporating artificial observations of the system as auxiliary variables in our MCMC kernels, we develop both efficient exact Kalman-based samplers and enhanced Particle Gibbs algorithms that maintain performance in high-dimensional latent spaces. Some of our methods support parallelization along the time dimension, achieving logarithmic scaling when implemented on GPUs. Empirical evaluations demonstrate superior statistical and computational performance compared to existing approaches for high-dimensional latent dynamical systems.
140
Adrien Corenflos @adriencorenflos.bsky.social · 31/07/2026
Yeah we still need to rewrite this and resubmit. At the moment it's quite dense! I may also try and merge with arxiv.org/abs/2505.04611 given the techniques are quite similar. TBC. Happy to send you the latest draft version and access to code if it's relevant.
arxiv.org
Particle Gibbs without the Gibbs bit
Exact parameter and trajectory inference in state-space models is typically achieved by one of two methods: particle marginal Metropolis-Hastings (PMMH) or particle Gibbs (PGibbs). PMMH is a pseudo-ma...
110
Adrien Corenflos @adriencorenflos.bsky.social · 31/07/2026
May I kindly suggest github.com/AdrienCorenf...
github.com
GitHub - AdrienCorenflos/particle_mala: Gradient-informed particle MCMC methods
Gradient-informed particle MCMC methods. Contribute to AdrienCorenflos/particle_mala development by creating an account on GitHub.
110
Adrien Corenflos @adriencorenflos.bsky.social · 20/07/2026
Claude and I just broke up: "it's not you, it's me".
021
Adrien Corenflos @adriencorenflos.bsky.social · 17/07/2026
Yes I am thinking of cruder criticisms: if you change the seed the output changes therefore it is not replicable
110
Adrien Corenflos @adriencorenflos.bsky.social · 17/07/2026
Yes, that or even more glaring, for instance things that actively say that MCMC is "not replicable" because random, etc. Typically I'm looking for examples that are orthogonal to the usual "Bayes is subjective" or "MCMC is too slow".
120
Reposted by Adrien Corenflos
Michael "Shapes Dude" Betancourt @betanalpha.bsky.social · 17/07/2026
Anyone know of any papers that directly critique Markov chain Monte Carlo methods for being unreliable (and not just slow/slower than a competing method)? Papers in stats or applied fields welcome, and the critiques don't have to be well-formed or even correct.
151
Adrien Corenflos @adriencorenflos.bsky.social · 17/07/2026
Oh I'm actually looking for/collating examples of people (papers) actively shunning MCMC for being unreliable or non-reproducible. Would you happen to know of specific references where this was argued?
110
Reposted by Adrien Corenflos
Arula Ratnakar @arula-ratnakar.bsky.social · 17/07/2026
Unfortunately these characters are extremely messed up in this one. They were birthed in a nightmare I had. I don't know if I'm the one playing God with my characters, or if they're the ones playing God with me.
021
Adrien Corenflos @adriencorenflos.bsky.social · 10/07/2026
This tech is complete bullshit. I tested it on a bunch of short notes I wrote prior to the LLM boom, and they all came back as AI gen.
011
Adrien Corenflos @adriencorenflos.bsky.social · 02/07/2026
New version available at the same address! We bit the bullet and extended the work to consider arbitrary numbers of blocks, discrete spaces, parallel/systematic/random scan CAVI within a unified framework. Applications now include statistical physics models and others! arxiv.org/abs/2605.30253
052
Adrien Corenflos @adriencorenflos.bsky.social · 28/06/2026
Particle filters go brrrrr
190
Reposted by Adrien Corenflos
Matti Vihola @mattivihola.bsky.social · 18/06/2026
Our paper (with Alain Durmus, Samuel Gruffaz, Miika Kailas and Eero Saksman) on the ergodicity of dynamic path length HMC algorithms appeared in the AAP: doi.org/10.1214/25-A.... The results accommodate the 'biased progressive sampling' path selection used in @mc-stan.org.
doi.org
184
Reposted by Adrien Corenflos
Sam Duffield @samduffield.com · 12/06/2026
Now on the state-space-models repo state-space-models.github.io/cuthberto-ca...
state-space-models.github.io
Cuthberto Carlos | World Cup Predictions
Interactive 2026 World Cup match predictions from the Cuthberto Carlos model.
021
Adrien Corenflos @adriencorenflos.bsky.social · 15/06/2026
I think for specialists it's also a very good chance to compare the state-space model approach with the modelling of bsky.app/profile/pymc... I also encourage people to read the paper that makes the inference possible on our side: arxiv.org/abs/2308.02414
arxiv.org
A State-Space Perspective on Modelling and Inference for Online Skill Rating
We summarise popular methods used for skill rating in competitive sports, along with their inferential paradigms and introduce new approaches based on sequential Monte Carlo and discrete hidden Markov...
010
Adrien Corenflos @adriencorenflos.bsky.social · 15/06/2026
I think this didn't get nearly enough traction. Sam did some fantastic work here leveraging the library we've been developing to make predictions for football. This was ported to a UI by Ryan Chan (Warwick MSc student) who's doing his thesis with me (on the methods behind the prediction).
142
Adrien Corenflos @adriencorenflos.bsky.social · 08/06/2026
Dear Sam^ I recognise your work too.
010
Adrien Corenflos @adriencorenflos.bsky.social · 04/06/2026
I had a phase when I got obsessed with continuous induction. Never got anything out of it apart from nice eureka moments arxiv.org/abs/1208.0973
arxiv.org
The Instructor's Guide to Real Induction
We introduce real induction, a proof technique analogous to mathematical induction but applicable to statements indexed by an interval on the real line. More generally we give an inductive principle a...
000
Adrien Corenflos @adriencorenflos.bsky.social · 04/06/2026
Ah and if someone tries to feed you Canut brain, it's not brains, it's just a garlic creamy sauce to have with bread or potato
110
Adrien Corenflos @adriencorenflos.bsky.social · 04/06/2026
It's a great city to visit too! If you need a break from studying just follow a guide (there are a million free ones online) for en.wikipedia.org/wiki/Traboule
en.wikipedia.org
Traboule - Wikipedia
120
Adrien Corenflos @adriencorenflos.bsky.social · 31/05/2026
There's a section on this in the Wikipedia article for Borel sets.
130
Adrien Corenflos @adriencorenflos.bsky.social · 30/05/2026
Often maths is more about finding the right definition than actually proving the theorem.
090
Reposted by Adrien Corenflos
Mine Doğucu @minedogucu.com · 30/05/2026
A British friend texted me that PinkPantheress’ dad is a statistician. Stephen G. Walker is a Bayesian. This is our chance to make Bayesian nonparametrics mainstream. Looking at you @isba-bayesian.bsky.social.
WhatsApp message that says “Just read that PinkPantheress has a statistician for a father
1112
Adrien Corenflos @adriencorenflos.bsky.social · 30/05/2026
Pushy.
040
Adrien Corenflos @adriencorenflos.bsky.social · 28/05/2026
Is my coupling paper non-equilibrium sampling? I'd say yes. I hope so otherwise I need to write another paper in the meantime 🥵
220
Adrien Corenflos @adriencorenflos.bsky.social · 28/05/2026
Which is very different from "being right" btw!
020
Adrien Corenflos @adriencorenflos.bsky.social · 28/05/2026
Il faut pas jeter l'eau du bain avec le bébé hein. C'est clair que lel est une espèce de pseudo e/acc gaullois, mais bon tout ce qu'ils touchent ne se transforme pas en caca non plus.
100
Adrien Corenflos @adriencorenflos.bsky.social · 28/05/2026
Parce que bon, moi j'en étais resté à l'idée que c'étaient des collègues d'Oxford www.oxfordmartin.ox.ac.uk/global-devel... qui se chargeaient des données, donc j'avais plutôt confiance.
oxfordmartin.ox.ac.uk
100