Gonzalo de Polavieja
@polavieja.bsky.social
Scientist at Champalimaud Foundation (polaviejalab.org) and co-founder of Algebraic AI (algebraic.ai). #Maths4AI #AI4Science, #BehaviorAI #NeuroAI #CognitionAI #CollectiveBehavior
Reposted by Gonzalo de Polavieja
Fernando Martin-Maroto, Antonio Ricciardo, Gonzalo G. de Polavieja: The pairwise distributive law of semilattice congruences https://arxiv.org/abs/2511.00892 https://arxiv.org/pdf/2511.00892 https://arxiv.org/html/2511.00892
November 4, 2025 at 6:40 AM
Fernando Martin-Maroto, Antonio Ricciardo, Gonzalo G. de Polavieja: The pairwise distributive law of semilattice congruences https://arxiv.org/abs/2511.00892 https://arxiv.org/pdf/2511.00892 https://arxiv.org/html/2511.00892
Reposted by Gonzalo de Polavieja
Fernando Martin-Maroto, Antonio Ricciardo, Gonzalo G. de Polavieja
The pairwise distributive law of semilattice congruences
https://arxiv.org/abs/2511.00892
The pairwise distributive law of semilattice congruences
https://arxiv.org/abs/2511.00892
November 4, 2025 at 5:14 AM
Fernando Martin-Maroto, Antonio Ricciardo, Gonzalo G. de Polavieja
The pairwise distributive law of semilattice congruences
https://arxiv.org/abs/2511.00892
The pairwise distributive law of semilattice congruences
https://arxiv.org/abs/2511.00892
Reposted by Gonzalo de Polavieja
An introduction to Lean 4. ~ E. Cosme Llópez, L. Gong. www.uv.es/coslloen/Arx... #ITP #LeanProver #FunctionalProgramming
September 6, 2025 at 1:54 PM
An introduction to Lean 4. ~ E. Cosme Llópez, L. Gong. www.uv.es/coslloen/Arx... #ITP #LeanProver #FunctionalProgramming
Reposted by Gonzalo de Polavieja
Sad to hear that Margaret Boden, pioneer in cognitive science and artificial intelligence, has passed away.
Just a few days ago, someone reactivated the post below. I warmly recommend watching the video.
Thank you Margaret for founding and shaping our field.
www.sussex.ac.uk/broadcast/re...
Just a few days ago, someone reactivated the post below. I warmly recommend watching the video.
Thank you Margaret for founding and shaping our field.
www.sussex.ac.uk/broadcast/re...
July 28, 2025 at 4:28 PM
Sad to hear that Margaret Boden, pioneer in cognitive science and artificial intelligence, has passed away.
Just a few days ago, someone reactivated the post below. I warmly recommend watching the video.
Thank you Margaret for founding and shaping our field.
www.sussex.ac.uk/broadcast/re...
Just a few days ago, someone reactivated the post below. I warmly recommend watching the video.
Thank you Margaret for founding and shaping our field.
www.sussex.ac.uk/broadcast/re...
Reposted by Gonzalo de Polavieja
"He decidido hacer lo que me gusta porque es bueno para la salud." ~ Voltaire (1694-1778).
July 22, 2025 at 6:33 AM
"He decidido hacer lo que me gusta porque es bueno para la salud." ~ Voltaire (1694-1778).
Reposted by Gonzalo de Polavieja
Reposted by Gonzalo de Polavieja
URGENT: FlyBase has lost practically all its funding overnight; even user fees are tied up in denied grant funding. 🤬🤯
Any lab using @flybase.bsky.social please donate using the link in post below.
This incredible community, on whose backs our #Drosophila labs depend, can't be left out to dry.
Any lab using @flybase.bsky.social please donate using the link in post below.
This incredible community, on whose backs our #Drosophila labs depend, can't be left out to dry.
My lab studies bacterial infections. We spend a lot of time looking at (or for) species-specific genetic and genomic databases for hosts and microbes. FlyBase is the best of all—there is literally no comparison. Its existence is under threat. Please donate.
www.philanthropy.cam.ac.uk/give-to-camb...
www.philanthropy.cam.ac.uk/give-to-camb...
Drosophila Genetic Database
The Drosophila Genetic Database, FlyBase, is on the brink of collapse due to the sudden termination of the FlyBase NIH grant, which includes salaries for 5 literature curators based at the University ...
www.philanthropy.cam.ac.uk
June 3, 2025 at 5:20 PM
URGENT: FlyBase has lost practically all its funding overnight; even user fees are tied up in denied grant funding. 🤬🤯
Any lab using @flybase.bsky.social please donate using the link in post below.
This incredible community, on whose backs our #Drosophila labs depend, can't be left out to dry.
Any lab using @flybase.bsky.social please donate using the link in post below.
This incredible community, on whose backs our #Drosophila labs depend, can't be left out to dry.
It took us many years to improve idtracker.ai in both accuracy and tracking time. Here it is.
June 3, 2025 at 2:46 PM
It took us many years to improve idtracker.ai in both accuracy and tracking time. Here it is.
Reposted by Gonzalo de Polavieja
Choose Science. Choose Europe.
A new Marie Skłodowska-Curie Actions Postdoctoral Fellowships 2025 call is now open.
With a budget of €404.3 million, it will support around 1,650 researchers from Europe and beyond.
Apply by 10 September → europa.eu/!fBTMgF
A new Marie Skłodowska-Curie Actions Postdoctoral Fellowships 2025 call is now open.
With a budget of €404.3 million, it will support around 1,650 researchers from Europe and beyond.
Apply by 10 September → europa.eu/!fBTMgF
May 8, 2025 at 10:12 AM
Choose Science. Choose Europe.
A new Marie Skłodowska-Curie Actions Postdoctoral Fellowships 2025 call is now open.
With a budget of €404.3 million, it will support around 1,650 researchers from Europe and beyond.
Apply by 10 September → europa.eu/!fBTMgF
A new Marie Skłodowska-Curie Actions Postdoctoral Fellowships 2025 call is now open.
With a budget of €404.3 million, it will support around 1,650 researchers from Europe and beyond.
Apply by 10 September → europa.eu/!fBTMgF
Reposted by Gonzalo de Polavieja
We (mostly @adammarblestone.bsky.social
and Mary with the help of the amazing scientists in our network) made a map of “fundamental development” gaps in science and technology. Go explore gap-map.org.
and Mary with the help of the amazing scientists in our network) made a map of “fundamental development” gaps in science and technology. Go explore gap-map.org.
The Gap Map
Explore R&D Gaps and their related Foundational Capabilities.
gap-map.org
April 15, 2025 at 1:28 PM
We (mostly @adammarblestone.bsky.social
and Mary with the help of the amazing scientists in our network) made a map of “fundamental development” gaps in science and technology. Go explore gap-map.org.
and Mary with the help of the amazing scientists in our network) made a map of “fundamental development” gaps in science and technology. Go explore gap-map.org.
Reposted by Gonzalo de Polavieja
Neural theorem proving tutorial. ~ Sean Welleck. github.com/wellecks/ntp... #MachineLearning #ITP #LeanProver
GitHub - wellecks/ntptutorial: Tutorial on neural theorem proving
Tutorial on neural theorem proving. Contribute to wellecks/ntptutorial development by creating an account on GitHub.
github.com
April 19, 2025 at 11:20 AM
Neural theorem proving tutorial. ~ Sean Welleck. github.com/wellecks/ntp... #MachineLearning #ITP #LeanProver
Had to happen at some point: today, the o1 model solved in one go the PhD thesis of one of the students in the lab. Shall we add the model as a coauthor? Shall I stop having students or shall we work on more complex problems?
April 1, 2025 at 2:37 PM
Had to happen at some point: today, the o1 model solved in one go the PhD thesis of one of the students in the lab. Shall we add the model as a coauthor? Shall I stop having students or shall we work on more complex problems?
Just found this. You pin this post below and you get a feed of only papers from your following. Worth a try.
Welcome to your personalized Paper Skygest, a curated feed showing posts from your network.
📌 To pin this feed, select the pin icon at the top right of the feed. When you pin it, you'll see it up above here!
➡️ Follow this account for Skygest updates!
📌 To pin this feed, select the pin icon at the top right of the feed. When you pin it, you'll see it up above here!
➡️ Follow this account for Skygest updates!
March 24, 2025 at 6:26 AM
Just found this. You pin this post below and you get a feed of only papers from your following. Worth a try.
Reposted by Gonzalo de Polavieja
A quick-start guide to research non-profits: erikaaldendeb.substack.com/p/erikas-qui...
Erika's quick-start guide to research nonprofits
You do NOT need permission from a university to do research (!!)
erikaaldendeb.substack.com
January 31, 2025 at 6:51 PM
A quick-start guide to research non-profits: erikaaldendeb.substack.com/p/erikas-qui...
Reposted by Gonzalo de Polavieja
Interested in understanding how things work? In particular the tools you use to study the brain? Join us at TENSS 2025 where we brainstorm ideas, build and debug microscopes, electrophysiology and behavior rigs amidst the picturesque Transylvanian hills! tenss.ro
Apply by: February 16th!
Apply by: February 16th!
January 14, 2025 at 4:58 AM
Interested in understanding how things work? In particular the tools you use to study the brain? Join us at TENSS 2025 where we brainstorm ideas, build and debug microscopes, electrophysiology and behavior rigs amidst the picturesque Transylvanian hills! tenss.ro
Apply by: February 16th!
Apply by: February 16th!
Reposted by Gonzalo de Polavieja
Reposted by Gonzalo de Polavieja
Our new paper! "Analytic theory of creativity in convolutional diffusion models" lead expertly by @masonkamb.bsky.social
arxiv.org/abs/2412.20292
Our closed-form theory needs no training, is mechanistically interpretable & accurately predicts diffusion model outputs with high median r^2~0.9
arxiv.org/abs/2412.20292
Our closed-form theory needs no training, is mechanistically interpretable & accurately predicts diffusion model outputs with high median r^2~0.9
December 31, 2024 at 4:54 PM
Our new paper! "Analytic theory of creativity in convolutional diffusion models" lead expertly by @masonkamb.bsky.social
arxiv.org/abs/2412.20292
Our closed-form theory needs no training, is mechanistically interpretable & accurately predicts diffusion model outputs with high median r^2~0.9
arxiv.org/abs/2412.20292
Our closed-form theory needs no training, is mechanistically interpretable & accurately predicts diffusion model outputs with high median r^2~0.9
Human Frontier Science Program for small consortia working on interdisciplinary biological problems. Letter of intent by 18th March 2025. www.hfsp.org/funding/hfsp...
Research Grants | Human Frontier Science Program
www.hfsp.org
December 30, 2024 at 6:43 PM
Human Frontier Science Program for small consortia working on interdisciplinary biological problems. Letter of intent by 18th March 2025. www.hfsp.org/funding/hfsp...
Reposted by Gonzalo de Polavieja
Let us start 2025 in a positive mood: here are 10 methods things researchers can worry *less* about in 2025
a countdown clock with the number 10 in the center
ALT: a countdown clock with the number 10 in the center
media.tenor.com
December 23, 2024 at 10:36 AM
Let us start 2025 in a positive mood: here are 10 methods things researchers can worry *less* about in 2025
Reposted by Gonzalo de Polavieja
Just 1 minute of being "chased" by an object teaches zebrafish day-olds to recognize it as a threat. This rapid learning is powered by noradrenergic and forebrain circuits.
www.cell.com/current-biol...
@currentbiology.bsky.social
www.cell.com/current-biol...
@currentbiology.bsky.social
Days-old zebrafish rapidly learn to recognize threatening agents through noradrenergic and forebrain circuits
Zocchi et al. utilize a robotic predator-learning assay to show that larval zebrafish as young as 5 days post-fertilization rapidly learn to avoid robots following predatory-like experiences. Whole-brain imaging of neural activity implicates the noradrenergic system and forebrain populations in this “conditioned robot avoidance” learning.
www.cell.com
December 30, 2024 at 6:57 AM
Just 1 minute of being "chased" by an object teaches zebrafish day-olds to recognize it as a threat. This rapid learning is powered by noradrenergic and forebrain circuits.
www.cell.com/current-biol...
@currentbiology.bsky.social
www.cell.com/current-biol...
@currentbiology.bsky.social
Reposted by Gonzalo de Polavieja
Sign up to come to the Alternative Mathematics for AI Meeting, sites.google.com/view/altai25
ALTAI25
Join us to explore the mathematical foundations of artificial intelligence
sites.google.com
December 22, 2024 at 7:54 AM
Sign up to come to the Alternative Mathematics for AI Meeting, sites.google.com/view/altai25
Last day to apply!!!: postdoctoral position available with us and David Rios (www.davidriosinsua.es at ICMAT, bsky.app/profile/icma...) on collective behavior and frontier AI techniques, more info and application: aihub.csic.es/en/allies-co...
David Ríos Insua
www.davidriosinsua.es
December 20, 2024 at 9:12 AM
Last day to apply!!!: postdoctoral position available with us and David Rios (www.davidriosinsua.es at ICMAT, bsky.app/profile/icma...) on collective behavior and frontier AI techniques, more info and application: aihub.csic.es/en/allies-co...
Genesis: high quality generative Physics engine, genesis-embodied-ai.github.io
Genesis
genesis-embodied-ai.github.io
December 19, 2024 at 9:25 AM
Genesis: high quality generative Physics engine, genesis-embodied-ai.github.io