Leonardo Novelli
@novelli-leo.bsky.social
🇦🇺 Research Fellow at #MonashUni
🧠 Passionate about math, AI, networks, information theory, and brain connectivity
🧠 Passionate about math, AI, networks, information theory, and brain connectivity
Reposted by Leonardo Novelli
Mathematical proof assistants like Coq and Lean were made possible by a correspondence that established the equivalence between proofs and computation. Read the explainer from our archive:
The Deep Link Equating Math Proofs and Computer Programs | Quanta Magazine
Mathematical logic and the code of computer programs are, in an exact way, mirror images of each other.
buff.ly
February 8, 2025 at 4:46 PM
Mathematical proof assistants like Coq and Lean were made possible by a correspondence that established the equivalence between proofs and computation. Read the explainer from our archive:
Reposted by Leonardo Novelli
🧵 How do psychedelics shape brain activity?
Our new paper presents the largest neuroimaging study of psilocybin to date—revealing how context structures psychedelic brain states.
Title: Psychedelics Align Brain Activity with Context
Paper: lnkd.in/gt-kMR6d
A thread 🧵👇 1/n
Our new paper presents the largest neuroimaging study of psilocybin to date—revealing how context structures psychedelic brain states.
Title: Psychedelics Align Brain Activity with Context
Paper: lnkd.in/gt-kMR6d
A thread 🧵👇 1/n
March 17, 2025 at 11:29 AM
🧵 How do psychedelics shape brain activity?
Our new paper presents the largest neuroimaging study of psilocybin to date—revealing how context structures psychedelic brain states.
Title: Psychedelics Align Brain Activity with Context
Paper: lnkd.in/gt-kMR6d
A thread 🧵👇 1/n
Our new paper presents the largest neuroimaging study of psilocybin to date—revealing how context structures psychedelic brain states.
Title: Psychedelics Align Brain Activity with Context
Paper: lnkd.in/gt-kMR6d
A thread 🧵👇 1/n
Reposted by Leonardo Novelli
ATTENTION (PLEASE SHARE)
If anyone has or knows of any positions that might be appropriate for the NIH staff members who were terminated, please post the information in this thread.
There are lots of talented and accomplished people who may be looking for new opportunities.
If anyone has or knows of any positions that might be appropriate for the NIH staff members who were terminated, please post the information in this thread.
There are lots of talented and accomplished people who may be looking for new opportunities.
a poster that says if life gives you lemon make lemonade on it
ALT: a poster that says if life gives you lemon make lemonade on it
media.tenor.com
February 15, 2025 at 3:37 PM
ATTENTION (PLEASE SHARE)
If anyone has or knows of any positions that might be appropriate for the NIH staff members who were terminated, please post the information in this thread.
There are lots of talented and accomplished people who may be looking for new opportunities.
If anyone has or knows of any positions that might be appropriate for the NIH staff members who were terminated, please post the information in this thread.
There are lots of talented and accomplished people who may be looking for new opportunities.
Reposted by Leonardo Novelli
Meanwhile, Australia still leaves in limbo many incoming students (holding PhD offers and funding!) for months on end, esp. from Iran. Waiting a year, two, with no updates — unnecessary and cruel.
www.timeshighereducation.com/news/phd-vis... via John Ross (Times Higher Ed). @davidpocock.bsky.social
www.timeshighereducation.com/news/phd-vis... via John Ross (Times Higher Ed). @davidpocock.bsky.social
PhD visa applicants trapped in ‘indefinite waiting period’
‘Endless stress’ confronts Iranian doctoral candidates who worked for a year just to cover the application fee
www.timeshighereducation.com
February 15, 2025 at 11:13 PM
Meanwhile, Australia still leaves in limbo many incoming students (holding PhD offers and funding!) for months on end, esp. from Iran. Waiting a year, two, with no updates — unnecessary and cruel.
www.timeshighereducation.com/news/phd-vis... via John Ross (Times Higher Ed). @davidpocock.bsky.social
www.timeshighereducation.com/news/phd-vis... via John Ross (Times Higher Ed). @davidpocock.bsky.social
Reposted by Leonardo Novelli
So exciting to see MacaqueNet out into the world! 🤩
Learn about our global community & database centralizing standardized affiliative & agonistic data from 61 populations across 14 macaque species: doi/10.1111/1365...
Explore >600 networks & request data: macaquenet.github.io/database/
Learn about our global community & database centralizing standardized affiliative & agonistic data from 61 populations across 14 macaque species: doi/10.1111/1365...
Explore >600 networks & request data: macaquenet.github.io/database/
MacaqueNet: Advancing comparative behavioural research through large‐scale collaboration
We present MacaqueNet, a global community of macaque researchers who developed the first publicly searchable, standardised database on affiliative and agonistic behaviour. This cross-species database...
besjournals.onlinelibrary.wiley.com
February 12, 2025 at 10:09 AM
So exciting to see MacaqueNet out into the world! 🤩
Learn about our global community & database centralizing standardized affiliative & agonistic data from 61 populations across 14 macaque species: doi/10.1111/1365...
Explore >600 networks & request data: macaquenet.github.io/database/
Learn about our global community & database centralizing standardized affiliative & agonistic data from 61 populations across 14 macaque species: doi/10.1111/1365...
Explore >600 networks & request data: macaquenet.github.io/database/
Reposted by Leonardo Novelli
1/ Excited to share our latest preprint! 🚀 We introduce Spectral Normative Modeling (SNM)—a novel approach leveraging graph spectral methods to advance brain charting towards personalized precision medicine.
🔗 www.medrxiv.org/content/10.1...
🔗 www.medrxiv.org/content/10.1...
Spectral normative modeling of brain structure
Normative modeling in neuroscience aims to characterize interindividual variation in brain phenotypes and thus establish reference ranges, or brain charts, against which individual brains can be compa...
www.medrxiv.org
February 6, 2025 at 5:17 AM
1/ Excited to share our latest preprint! 🚀 We introduce Spectral Normative Modeling (SNM)—a novel approach leveraging graph spectral methods to advance brain charting towards personalized precision medicine.
🔗 www.medrxiv.org/content/10.1...
🔗 www.medrxiv.org/content/10.1...
Reposted by Leonardo Novelli
Nice best paper talk on methods for fitting time series data to stochastic models by Brock Sherlock at UNSW. Paper 👉 doi.org/10.1007/s115.... @smbmathbiology.bsky.social at #Anziam2025 MBSIG workshop.
February 6, 2025 at 11:43 PM
Nice best paper talk on methods for fitting time series data to stochastic models by Brock Sherlock at UNSW. Paper 👉 doi.org/10.1007/s115.... @smbmathbiology.bsky.social at #Anziam2025 MBSIG workshop.
Reposted by Leonardo Novelli
Also! The symposium on higher-order interactions, chaired by @manishsaggar.bsky.social and @lordgrilo.bsky.social, was accepted.
Absolute must-attend if you're at OHBM 2025, with talks from: @popeme.bsky.social, @andreasantoro.bsky.social, and @novelli-leo.bsky.social!
@ohbmofficial.bsky.social
Absolute must-attend if you're at OHBM 2025, with talks from: @popeme.bsky.social, @andreasantoro.bsky.social, and @novelli-leo.bsky.social!
@ohbmofficial.bsky.social
February 4, 2025 at 5:22 PM
Also! The symposium on higher-order interactions, chaired by @manishsaggar.bsky.social and @lordgrilo.bsky.social, was accepted.
Absolute must-attend if you're at OHBM 2025, with talks from: @popeme.bsky.social, @andreasantoro.bsky.social, and @novelli-leo.bsky.social!
@ohbmofficial.bsky.social
Absolute must-attend if you're at OHBM 2025, with talks from: @popeme.bsky.social, @andreasantoro.bsky.social, and @novelli-leo.bsky.social!
@ohbmofficial.bsky.social
Reposted by Leonardo Novelli
Some thoughts on the confusion and anxiety created by the current freeze on communications, hiring, grant reviews, travel, etc at NIH (gift link):
Trump's NIH Freeze Puts Scientific Research at Risk
America’s best scientific minds are scrambling to determine the impact of the disruption.
www.bloomberg.com
January 24, 2025 at 2:21 PM
Some thoughts on the confusion and anxiety created by the current freeze on communications, hiring, grant reviews, travel, etc at NIH (gift link):
Reposted by Leonardo Novelli
Pre-print 🧠🧪
Is mechanism modeling dead in the AI era?
ML models trained to predict neural activity fail to generalize to unseen opto perturbations. But mechanism modeling can solve that.
We say "perturbation testing" is the right way to evaluate mechanisms in data-constrained models
1/8
Is mechanism modeling dead in the AI era?
ML models trained to predict neural activity fail to generalize to unseen opto perturbations. But mechanism modeling can solve that.
We say "perturbation testing" is the right way to evaluate mechanisms in data-constrained models
1/8
January 8, 2025 at 4:33 PM
Pre-print 🧠🧪
Is mechanism modeling dead in the AI era?
ML models trained to predict neural activity fail to generalize to unseen opto perturbations. But mechanism modeling can solve that.
We say "perturbation testing" is the right way to evaluate mechanisms in data-constrained models
1/8
Is mechanism modeling dead in the AI era?
ML models trained to predict neural activity fail to generalize to unseen opto perturbations. But mechanism modeling can solve that.
We say "perturbation testing" is the right way to evaluate mechanisms in data-constrained models
1/8
Reposted by Leonardo Novelli
Reposted by Leonardo Novelli
Panel at #NeurIPS2024, as part of #NeuroAI workshop, with Karl Friston and Yoshua Bengio, moderated by myself.
Recordings available after the event: tinyurl.com/39a9xy8x
Workshop: tinyurl.com/5aysw5v3
Moein Khajehnejad @foroughhas.bsky.social @noorsajidt.bsky.social @tonyzador.bsky.social
Recordings available after the event: tinyurl.com/39a9xy8x
Workshop: tinyurl.com/5aysw5v3
Moein Khajehnejad @foroughhas.bsky.social @noorsajidt.bsky.social @tonyzador.bsky.social
December 14, 2024 at 9:56 AM
Panel at #NeurIPS2024, as part of #NeuroAI workshop, with Karl Friston and Yoshua Bengio, moderated by myself.
Recordings available after the event: tinyurl.com/39a9xy8x
Workshop: tinyurl.com/5aysw5v3
Moein Khajehnejad @foroughhas.bsky.social @noorsajidt.bsky.social @tonyzador.bsky.social
Recordings available after the event: tinyurl.com/39a9xy8x
Workshop: tinyurl.com/5aysw5v3
Moein Khajehnejad @foroughhas.bsky.social @noorsajidt.bsky.social @tonyzador.bsky.social
Reposted by Leonardo Novelli
🚨New updates for NotebookLM, including:
- A new, optimized interface
- The ability to engage with AI hosts during an Audio Overview🤩🤯
- NotebookLM Plus, for universities & businesses
Check it out → goo.gle/4guNYt4
It will be a fun end of the year!
- A new, optimized interface
- The ability to engage with AI hosts during an Audio Overview🤩🤯
- NotebookLM Plus, for universities & businesses
Check it out → goo.gle/4guNYt4
It will be a fun end of the year!
NotebookLM gets a new look, audio interactivity and a premium version
NotebookLM is introducing new features, and a premium version called NotebookLM Plus.
goo.gle
December 14, 2024 at 11:16 AM
🚨New updates for NotebookLM, including:
- A new, optimized interface
- The ability to engage with AI hosts during an Audio Overview🤩🤯
- NotebookLM Plus, for universities & businesses
Check it out → goo.gle/4guNYt4
It will be a fun end of the year!
- A new, optimized interface
- The ability to engage with AI hosts during an Audio Overview🤩🤯
- NotebookLM Plus, for universities & businesses
Check it out → goo.gle/4guNYt4
It will be a fun end of the year!
Reposted by Leonardo Novelli
Just published🔈
"Structurally informed models of directed brain connectivity"
Read: rdcu.be/d3dC4
We review how structural connectivity constrains directed connectivity models 🧠
Lead by @matthewdgreaves.bsky.social w/ @novelli-leo.bsky.social, @sinamansourl.bsky.social and Andrew Zalesky
"Structurally informed models of directed brain connectivity"
Read: rdcu.be/d3dC4
We review how structural connectivity constrains directed connectivity models 🧠
Lead by @matthewdgreaves.bsky.social w/ @novelli-leo.bsky.social, @sinamansourl.bsky.social and Andrew Zalesky
December 11, 2024 at 5:53 PM
Just published🔈
"Structurally informed models of directed brain connectivity"
Read: rdcu.be/d3dC4
We review how structural connectivity constrains directed connectivity models 🧠
Lead by @matthewdgreaves.bsky.social w/ @novelli-leo.bsky.social, @sinamansourl.bsky.social and Andrew Zalesky
"Structurally informed models of directed brain connectivity"
Read: rdcu.be/d3dC4
We review how structural connectivity constrains directed connectivity models 🧠
Lead by @matthewdgreaves.bsky.social w/ @novelli-leo.bsky.social, @sinamansourl.bsky.social and Andrew Zalesky
Reposted by Leonardo Novelli
DAY 6: Advent of Comp Neuro 🎄🤖🧠🧪
This nifty theory predicts how intrinsic timescales depend on network structure, neuron properties and input. A nontrivial task!
“Microscopic theory of intrinsic timescales in spiking neural networks”
tinyurl.com/43esfrrk
By @avm.bsky.social and @albada.bsky.social
This nifty theory predicts how intrinsic timescales depend on network structure, neuron properties and input. A nontrivial task!
“Microscopic theory of intrinsic timescales in spiking neural networks”
tinyurl.com/43esfrrk
By @avm.bsky.social and @albada.bsky.social
December 6, 2024 at 7:35 PM
DAY 6: Advent of Comp Neuro 🎄🤖🧠🧪
This nifty theory predicts how intrinsic timescales depend on network structure, neuron properties and input. A nontrivial task!
“Microscopic theory of intrinsic timescales in spiking neural networks”
tinyurl.com/43esfrrk
By @avm.bsky.social and @albada.bsky.social
This nifty theory predicts how intrinsic timescales depend on network structure, neuron properties and input. A nontrivial task!
“Microscopic theory of intrinsic timescales in spiking neural networks”
tinyurl.com/43esfrrk
By @avm.bsky.social and @albada.bsky.social
Reposted by Leonardo Novelli
Good news everyone! A new version of graph-tool is just out! @graph-tool.skewed.de
graph-tool.skewed.de
Graph-tool is a comprehensive and efficient Python library to work with networks, including structural, dynamical, and statistical algorithms, as well as visualization. 1/N
#networkscience
graph-tool.skewed.de
Graph-tool is a comprehensive and efficient Python library to work with networks, including structural, dynamical, and statistical algorithms, as well as visualization. 1/N
#networkscience
December 2, 2024 at 12:55 PM
Good news everyone! A new version of graph-tool is just out! @graph-tool.skewed.de
graph-tool.skewed.de
Graph-tool is a comprehensive and efficient Python library to work with networks, including structural, dynamical, and statistical algorithms, as well as visualization. 1/N
#networkscience
graph-tool.skewed.de
Graph-tool is a comprehensive and efficient Python library to work with networks, including structural, dynamical, and statistical algorithms, as well as visualization. 1/N
#networkscience
Reposted by Leonardo Novelli
Since I've been here for a while… here are some useful features on Bluesky that you might not have discovered yet! 🧵
November 20, 2024 at 7:52 PM
Since I've been here for a while… here are some useful features on Bluesky that you might not have discovered yet! 🧵
Reposted by Leonardo Novelli
Academic writing — get utilized to it.
November 14, 2024 at 12:49 PM
Academic writing — get utilized to it.
Reposted by Leonardo Novelli
Bing Brunton showed a beautiful presentation on reverse engineering bodies + minds: virtual animals in virtual environments controlling virtual bodies. An exciting research program that she also presented for the NeuroAI NMA course: youtu.be/EN89LVVnLbs?... 4/
W1D1- Big Picture - Intro
YouTube video by Neuromatch Academy
youtu.be
November 14, 2024 at 3:08 PM
Bing Brunton showed a beautiful presentation on reverse engineering bodies + minds: virtual animals in virtual environments controlling virtual bodies. An exciting research program that she also presented for the NeuroAI NMA course: youtu.be/EN89LVVnLbs?... 4/
Reposted by Leonardo Novelli
Have you ever done a dense grid search over neural network hyperparameters? Like a *really dense* grid search? It looks like this (!!). Blueish colors correspond to hyperparameters for which training converges, redish to those for which training diverges.
Even better, a video: vimeo.com/903855670
Even better, a video: vimeo.com/903855670
February 12, 2024 at 5:38 AM
Have you ever done a dense grid search over neural network hyperparameters? Like a *really dense* grid search? It looks like this (!!). Blueish colors correspond to hyperparameters for which training converges, redish to those for which training diverges.
Even better, a video: vimeo.com/903855670
Even better, a video: vimeo.com/903855670
Reposted by Leonardo Novelli
Do babies pretrain? www.cell.com/trends/cogni...
Helpless infants are learning a foundation model
Humans have a protracted postnatal helplessness period, typically attributed to human-specific
maternal constraints causing an early birth when the brain is highly immature. By
aligning neurodevelopme...
www.cell.com
November 15, 2024 at 4:31 AM
Do babies pretrain? www.cell.com/trends/cogni...
Reposted by Leonardo Novelli
6. Random features you didn't know about.
If your post includes a link, you can wait for the preview to show up, and remove the url, and the link stays there!
This also saves characters from the character limit.
If your post includes a link, you can wait for the preview to show up, and remove the url, and the link stays there!
This also saves characters from the character limit.
November 20, 2024 at 7:52 PM
6. Random features you didn't know about.
If your post includes a link, you can wait for the preview to show up, and remove the url, and the link stays there!
This also saves characters from the character limit.
If your post includes a link, you can wait for the preview to show up, and remove the url, and the link stays there!
This also saves characters from the character limit.
Reposted by Leonardo Novelli
Episode 5 of our podcast is out! We discuss how complicated it is to assess intelligence, whether in humans, animals, or machines.
With two fantastic guests: Comparative Psychologist Erica Cartmill and Computer Scientist Ellie Pavlick.
Check it out!
complexity.simplecast.com/episodes/nat...
With two fantastic guests: Comparative Psychologist Erica Cartmill and Computer Scientist Ellie Pavlick.
Check it out!
complexity.simplecast.com/episodes/nat...
Nature of Intelligence, Ep. 5: How do we assess intelligence? | COMPLEXITY
When it comes to assessing intelligence, people have all kinds of tests — the SAT, IQ tests, and so on. There’s controversy over how fairly these tests really measure human intelligence, but at the ve...
complexity.simplecast.com
November 20, 2024 at 9:01 PM
Episode 5 of our podcast is out! We discuss how complicated it is to assess intelligence, whether in humans, animals, or machines.
With two fantastic guests: Comparative Psychologist Erica Cartmill and Computer Scientist Ellie Pavlick.
Check it out!
complexity.simplecast.com/episodes/nat...
With two fantastic guests: Comparative Psychologist Erica Cartmill and Computer Scientist Ellie Pavlick.
Check it out!
complexity.simplecast.com/episodes/nat...
Reposted by Leonardo Novelli
Do you teach neuroscience? Here’s a list I’ve compiled of mostly free online neuroscience textbooks, simulations and datasets you can use for your course! If I’m missing something, let me know so I can add it! docs.google.com/document/d/1...
Free Neuroscience Textbooks and Online Tutorials
Free Neuroscience Textbooks and Online Tutorials (Compiled by Carlos Aizenman, Brown University, Dept. of Neuroscience) Maintaining a current list of digital educational resources is tricky. Softwar...
docs.google.com
November 20, 2024 at 8:08 PM
Do you teach neuroscience? Here’s a list I’ve compiled of mostly free online neuroscience textbooks, simulations and datasets you can use for your course! If I’m missing something, let me know so I can add it! docs.google.com/document/d/1...
Reposted by Leonardo Novelli
Our Centre's seminar series - public talks and conversations, hosted by my friend and colleague Craig Hassed
Check out past episodes of M3CS's seminar series, hosted by the great Craig Hassed and with fascinating guests, conversing about mindful parenting, meditation and morality, consciousness and much more
www.monash.edu/consciousnes...
www.monash.edu/consciousnes...
M3CS 2024 Seminar Series
www.monash.edu
November 20, 2024 at 11:22 AM
Our Centre's seminar series - public talks and conversations, hosted by my friend and colleague Craig Hassed