Artur d'Avila Garcez
@arturgarcez.bsky.social
Professor of Computer Science. Author of Neural-Symbolic Cognitive Reasoning. Founder of Cognitive Intelligence, NeSy Association, NeSy conference series. Editor-in-chief Neurosymbolic AI journal.
Reasoning in Neurosymbolic AI: arxiv.org/abs/2505.20313
Reasoning in Neurosymbolic AI
Knowledge representation and reasoning in neural networks have been a long-standing endeavor which has attracted much attention recently. The principled integration of reasoning and learning in neural...
arxiv.org
May 28, 2025 at 6:29 PM
Reasoning in Neurosymbolic AI: arxiv.org/abs/2505.20313
AI beyond ChatGPT: an analysis of the state of AI 2 years on from GPT4 and an opinion on where it should be heading:
www.staff.city.ac.uk/~aag/papers/...
www.staff.city.ac.uk/~aag/papers/...
staff.city.ac.uk
May 24, 2025 at 8:08 PM
AI beyond ChatGPT: an analysis of the state of AI 2 years on from GPT4 and an opinion on where it should be heading:
www.staff.city.ac.uk/~aag/papers/...
www.staff.city.ac.uk/~aag/papers/...
Reposted by Artur d'Avila Garcez
NeSy 2025 late deadline approaching (abstract May 30, paper June 6). 2025.nesyconf.org/call-for-pap...
19th Conference on Neurosymbolic Learning and Reasoning (NeSy 2025), Santa Cruz, California, September 8th to 10th 2025.
19th Conference on Neurosymbolic Learning and Reasoning (NeSy 2025), Santa Cruz, California, September 8th to 10th 2025.
Call for Papers
19th International Conference on Neurosymbolic Learning and Reasoning (NeSy 2025, 8-10 September 2025, Santa Cruz, CA, USA)
2025.nesyconf.org
April 14, 2025 at 3:29 PM
NeSy 2025 late deadline approaching (abstract May 30, paper June 6). 2025.nesyconf.org/call-for-pap...
19th Conference on Neurosymbolic Learning and Reasoning (NeSy 2025), Santa Cruz, California, September 8th to 10th 2025.
19th Conference on Neurosymbolic Learning and Reasoning (NeSy 2025), Santa Cruz, California, September 8th to 10th 2025.
Reposted by Artur d'Avila Garcez
🙌🏻 NeSy Confence = Amazing Speakers!!! 🙌🏻
⏳Do not forget to submit your abstract before the deadline!
⏳Do not forget to submit your abstract before the deadline!
One more week until the abstract deadline 😲
As an extra motivator, we are excited to announce our amazing keynote speakers 🤩!
- Guy van den Broeck (@guyvdb.bsky.social UCLA)
- Thomas Kipf (@tkipf.bsky.social Google DeepMind)
- Deborah McGuinness (RPI)
2025.nesyconf.org
As an extra motivator, we are excited to announce our amazing keynote speakers 🤩!
- Guy van den Broeck (@guyvdb.bsky.social UCLA)
- Thomas Kipf (@tkipf.bsky.social Google DeepMind)
- Deborah McGuinness (RPI)
2025.nesyconf.org
NeSy 2025
19th International Conference on Neurosymbolic Learning and Reasoning (NeSy 2025, 8-10 September 2025, Santa Cruz, CA, USA)
2025.nesyconf.org
February 21, 2025 at 3:00 PM
🙌🏻 NeSy Confence = Amazing Speakers!!! 🙌🏻
⏳Do not forget to submit your abstract before the deadline!
⏳Do not forget to submit your abstract before the deadline!
Reposted by Artur d'Avila Garcez
NeSy 2025 industry abstracts (2 pages) deadline June 15, 2025.nesyconf.org/call-for-pap... 19th International Conference on Neurosymbolic Learning and Reasoning (NeSy 2025), held in Santa Cruz (CA, USA) from September 8-10, 2025.
Call for Papers
19th International Conference on Neurosymbolic Learning and Reasoning (NeSy 2025, 8-10 September 2025, Santa Cruz, CA, USA)
2025.nesyconf.org
April 20, 2025 at 8:37 PM
NeSy 2025 industry abstracts (2 pages) deadline June 15, 2025.nesyconf.org/call-for-pap... 19th International Conference on Neurosymbolic Learning and Reasoning (NeSy 2025), held in Santa Cruz (CA, USA) from September 8-10, 2025.
Reposted by Artur d'Avila Garcez
When building human allied AI systems, it is imperative to think of who is in control. In our blue sky paper at #AAAI, we argue that a deeper understanding of whether human is in the loop or if AI is in the loop is essential! arxiv.org/pdf/2412.14232
December 21, 2024 at 5:46 PM
When building human allied AI systems, it is imperative to think of who is in control. In our blue sky paper at #AAAI, we argue that a deeper understanding of whether human is in the loop or if AI is in the loop is essential! arxiv.org/pdf/2412.14232
Indeed. The first NeSy workshop was in Scotland as part of IJCAI...
It's Nessie, the monster of loch Ness! It has been the official logo of the community already since 2003 or so when the NeSy abbreviation started :)
@arturgarcez.bsky.social @pascalhitzler.bsky.social
@arturgarcez.bsky.social @pascalhitzler.bsky.social
December 21, 2024 at 9:44 PM
Indeed. The first NeSy workshop was in Scotland as part of IJCAI...
Reposted by Artur d'Avila Garcez
Together with @kareemyousrii.bsky.social, we announce the Neurosymbolic Generative Models special track at the NeSy 2025 Conference 🎉
Call for Papers is live!
2025.nesyconf.org/nesy-generat...
See you in Santa Cruz in Sep 2025!
@nesyconf.org
Call for Papers is live!
2025.nesyconf.org/nesy-generat...
See you in Santa Cruz in Sep 2025!
@nesyconf.org
Neurosymbolic Generative Models
19th International Conference on Neurosymbolic Learning and Reasoning (NeSy 2025, 8-10 September 2025, Santa Cruz, CA, USA)
2025.nesyconf.org
December 20, 2024 at 5:06 PM
Together with @kareemyousrii.bsky.social, we announce the Neurosymbolic Generative Models special track at the NeSy 2025 Conference 🎉
Call for Papers is live!
2025.nesyconf.org/nesy-generat...
See you in Santa Cruz in Sep 2025!
@nesyconf.org
Call for Papers is live!
2025.nesyconf.org/nesy-generat...
See you in Santa Cruz in Sep 2025!
@nesyconf.org
How many more of these examples of unreliable LLMs until something really bad happens?
Don't trust generative AI summaries: BBC calls out Apple over false headline on CEO killing
- Apple Intelligence falsely claimed Luigi Mangione shot himself
- Apple Intelligence falsely claimed Luigi Mangione shot himself
Don't trust generative AI summaries: BBC calls out Apple over false headline on CEO killing
One of the features of Apple Intelligence is its ability to summarize notifications, which was first introduced in iOS 18.1. Cupertino says the summaries allow users to...
bit.ly
December 19, 2024 at 12:03 PM
How many more of these examples of unreliable LLMs until something really bad happens?
Reposted by Artur d'Avila Garcez
Three Lecturer openings at @citystgeorges.bsky.social: www.city.ac.uk/about/jobs/a....
Join our new AI center covering, among others: NeSy AI, MAS, Reinforcement Learning, NLP, Computer Vision, KGs, Adaptive Systems.
@arturgarcez.bsky.social @pmadhyastha.bsky.social @ealonso.bsky.social
Join our new AI center covering, among others: NeSy AI, MAS, Reinforcement Learning, NLP, Computer Vision, KGs, Adaptive Systems.
@arturgarcez.bsky.social @pmadhyastha.bsky.social @ealonso.bsky.social
Details | City, University of London
Details of job vacancy at City, University of London
www.city.ac.uk
December 17, 2024 at 11:43 AM
Three Lecturer openings at @citystgeorges.bsky.social: www.city.ac.uk/about/jobs/a....
Join our new AI center covering, among others: NeSy AI, MAS, Reinforcement Learning, NLP, Computer Vision, KGs, Adaptive Systems.
@arturgarcez.bsky.social @pmadhyastha.bsky.social @ealonso.bsky.social
Join our new AI center covering, among others: NeSy AI, MAS, Reinforcement Learning, NLP, Computer Vision, KGs, Adaptive Systems.
@arturgarcez.bsky.social @pmadhyastha.bsky.social @ealonso.bsky.social
Reposted by Artur d'Avila Garcez
Track Editors:
Alessandro Abate, University of Oxford, U.K.
Eleonora Giunchiglia, Imperial College London, U.K.
Bettina Könighofer, Graz University of Technology, Austria
Luca Pasa, University of Padova, Italy
Matteo Zavatteri, University of Padova, Italy
Alessandro Abate, University of Oxford, U.K.
Eleonora Giunchiglia, Imperial College London, U.K.
Bettina Könighofer, Graz University of Technology, Austria
Luca Pasa, University of Padova, Italy
Matteo Zavatteri, University of Padova, Italy
December 16, 2024 at 10:48 AM
Track Editors:
Alessandro Abate, University of Oxford, U.K.
Eleonora Giunchiglia, Imperial College London, U.K.
Bettina Könighofer, Graz University of Technology, Austria
Luca Pasa, University of Padova, Italy
Matteo Zavatteri, University of Padova, Italy
Alessandro Abate, University of Oxford, U.K.
Eleonora Giunchiglia, Imperial College London, U.K.
Bettina Könighofer, Graz University of Technology, Austria
Luca Pasa, University of Padova, Italy
Matteo Zavatteri, University of Padova, Italy
Reposted by Artur d'Avila Garcez
Excited to help organise 🦕NeSy 2025 this year!
It will be in sunny Santa Cruz 🌅 See CFP down below.
It will be in sunny Santa Cruz 🌅 See CFP down below.
🦕The 19th conference on Neurosymbolic AI will be in beautiful Santa Cruz (CA, USA), September 8-10, 2025!
CFP is now out: 2025.nesyconf.org/call-for-pap...
🚨 Paper deadline: Feb 28 (abstract), March 7 (full)
#neurosymbolic #NeSy2025
CFP is now out: 2025.nesyconf.org/call-for-pap...
🚨 Paper deadline: Feb 28 (abstract), March 7 (full)
#neurosymbolic #NeSy2025
Call for papers
19th International Conference on Neurosymbolic Learning (NeSy 2025, 8-10 September 2025, Santa Cruz, CA, USA)
2025.nesyconf.org
December 11, 2024 at 6:13 PM
Excited to help organise 🦕NeSy 2025 this year!
It will be in sunny Santa Cruz 🌅 See CFP down below.
It will be in sunny Santa Cruz 🌅 See CFP down below.
A reminder that the recording of NeSy2024 is available at sites.google.com/view/nesy202... and the recording of NeSy2023 is at sites.google.com/view/nesy202...
NeSy2024 - NeSy 2024 Schedule
Slides for each of the sessions
NeSy 2024 Schedule
Monday, 9th September 2024 (Recording)
2pm Opening (Tarek Besold, Artur d’Avila Garcez, Ernesto Jimenez-Ruiz)
Special Track on XAI (Chairs: Roberto ...
sites.google.com
December 11, 2024 at 2:21 PM
A reminder that the recording of NeSy2024 is available at sites.google.com/view/nesy202... and the recording of NeSy2023 is at sites.google.com/view/nesy202...
Reposted by Artur d'Avila Garcez
📣 Does your model learn high-quality #concepts, or does it learn a #shortcut?
Test it with our #NeurIPS2024 dataset & benchmark track paper!
rsbench: A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts
What's the deal with rsbench? 🧵
Test it with our #NeurIPS2024 dataset & benchmark track paper!
rsbench: A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts
What's the deal with rsbench? 🧵
December 10, 2024 at 7:10 PM
📣 Does your model learn high-quality #concepts, or does it learn a #shortcut?
Test it with our #NeurIPS2024 dataset & benchmark track paper!
rsbench: A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts
What's the deal with rsbench? 🧵
Test it with our #NeurIPS2024 dataset & benchmark track paper!
rsbench: A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts
What's the deal with rsbench? 🧵
ARC2025: a great test for neurosymbolic systems 🦕
arcprize.org/guide
arcprize.org/guide
ARC Prize - Official Guide
The official guide to ARC Prize.
arcprize.org
December 10, 2024 at 9:13 PM
ARC2025: a great test for neurosymbolic systems 🦕
arcprize.org/guide
arcprize.org/guide
Reposted by Artur d'Avila Garcez
The new Sora apparently fails in the same ways as its predecessor, exactly as I predicted the day after the original came out.
Super interesting from the perspective of innateness and empiricism debate.
open.substack.com/pub/garymarc...
Super interesting from the perspective of innateness and empiricism debate.
open.substack.com/pub/garymarc...
Sora still appears to have trouble with physics
Exactly as I warned in February
open.substack.com
December 10, 2024 at 2:51 AM
The new Sora apparently fails in the same ways as its predecessor, exactly as I predicted the day after the original came out.
Super interesting from the perspective of innateness and empiricism debate.
open.substack.com/pub/garymarc...
Super interesting from the perspective of innateness and empiricism debate.
open.substack.com/pub/garymarc...
Very pleased that "A Semantic Framework for Neurosymbolic Computation" (with Simon Odense), towards a semantics for deep learning, has been accepted for publication in the AI journal (after a 2-year reviewing process):
arxiv.org/abs/2212.12050
arxiv.org/abs/2212.12050
A Semantic Framework for Neuro-Symbolic Computing
The field of neuro-symbolic AI aims to benefit from the combination of neural networks and symbolic systems. A cornerstone of the field is the translation or encoding of symbolic knowledge into neural...
arxiv.org
December 9, 2024 at 11:21 PM
Very pleased that "A Semantic Framework for Neurosymbolic Computation" (with Simon Odense), towards a semantics for deep learning, has been accepted for publication in the AI journal (after a 2-year reviewing process):
arxiv.org/abs/2212.12050
arxiv.org/abs/2212.12050
Reposted by Artur d'Avila Garcez
@abeba.bsky.social reaches quite similar conclusions to my own re that Casey Newton piece:
i keep seeing this all over my TL, some praising it other disagreeing so let me add my thoughts
I think what Casey does is build a strawman only to spend an entire article attacking it
1/
I think what Casey does is build a strawman only to spend an entire article attacking it
1/
One of the most important debates in tech right now is the group of folks who think AI is fake and sucks vs. the people who think AI is real and dangerous. I wrote about why I'm in the latter camp, and talked about my differences with Gary Marcus www.platformer.news/ai-skeptics-...
December 6, 2024 at 7:48 PM
@abeba.bsky.social reaches quite similar conclusions to my own re that Casey Newton piece:
Reposted by Artur d'Avila Garcez
Lewis: What's your favourite thing about Brazil so far?
Colleague: The people, they're lovely!
Lewis: You like the city?
Colleague: Yeah, I do! Do you like the city?
Lewis: I love it here, I'm Brazilian now! 🇧🇷😁
Colleague: The people, they're lovely!
Lewis: You like the city?
Colleague: Yeah, I do! Do you like the city?
Lewis: I love it here, I'm Brazilian now! 🇧🇷😁
November 16, 2024 at 6:54 PM
Lewis: What's your favourite thing about Brazil so far?
Colleague: The people, they're lovely!
Lewis: You like the city?
Colleague: Yeah, I do! Do you like the city?
Lewis: I love it here, I'm Brazilian now! 🇧🇷😁
Colleague: The people, they're lovely!
Lewis: You like the city?
Colleague: Yeah, I do! Do you like the city?
Lewis: I love it here, I'm Brazilian now! 🇧🇷😁
Reposted by Artur d'Avila Garcez
@karpathy.bsky.social's post (in the other place) about the "history of attention" in deep learning seems relevant to neurosymbolic AI folks in connection with work on relational learning...
December 6, 2024 at 1:43 PM
@karpathy.bsky.social's post (in the other place) about the "history of attention" in deep learning seems relevant to neurosymbolic AI folks in connection with work on relational learning...
Reposted by Artur d'Avila Garcez
November 25, 2024 at 9:04 PM
Reposted by Artur d'Avila Garcez
The Turing Interest Group on Knowledge Graphs: github.com/turing-knowl...
We have built a community around #KGs involving academia, industry, and government.
📢 Next (in person) meet up on Friday November 29 in Edinburgh. Registration is free.
🏫 We are also gathering teaching material.
We have built a community around #KGs involving academia, industry, and government.
📢 Next (in person) meet up on Friday November 29 in Edinburgh. Registration is free.
🏫 We are also gathering teaching material.
Knowledge Graphs Interest Group at the Alan Turing Institute
This interest group will facilitate research and innovation in a critical area of data science and AI. - Knowledge Graphs Interest Group at the Alan Turing Institute
github.com
November 19, 2024 at 6:53 PM
The Turing Interest Group on Knowledge Graphs: github.com/turing-knowl...
We have built a community around #KGs involving academia, industry, and government.
📢 Next (in person) meet up on Friday November 29 in Edinburgh. Registration is free.
🏫 We are also gathering teaching material.
We have built a community around #KGs involving academia, industry, and government.
📢 Next (in person) meet up on Friday November 29 in Edinburgh. Registration is free.
🏫 We are also gathering teaching material.
Reposted by Artur d'Avila Garcez
🔥 Follow this page 👉 bsky.app/profile/nesy... to stay updated with the 2025 Neuro-symbolic AI conference 🦕🦕🦕
November 24, 2024 at 8:26 AM
🔥 Follow this page 👉 bsky.app/profile/nesy... to stay updated with the 2025 Neuro-symbolic AI conference 🦕🦕🦕
Reposted by Artur d'Avila Garcez
NeSy is on Bluesky! bsky.app/profile/nesy...
Check out the 2025 edition of the NeSy conference:
2025.nesyconf.org
General Chair: @lgilpin.bsky.social
Programme Chairs: @e-giunchiglia.bsky.social @emilevankrieken.com @pascalhitzler.bsky.social
@tarekbesold.bsky.social @arturgarcez.bsky.social
Check out the 2025 edition of the NeSy conference:
2025.nesyconf.org
General Chair: @lgilpin.bsky.social
Programme Chairs: @e-giunchiglia.bsky.social @emilevankrieken.com @pascalhitzler.bsky.social
@tarekbesold.bsky.social @arturgarcez.bsky.social
NeSy2025
The NeSy series is the longest standing gathering for the presentation and discussion of cutting edge research in neurosymbolic AI. NeSy is the annual meeting of the Neural-Symbolic Learning and Reaso...
2025.nesyconf.org
November 23, 2024 at 7:07 PM
NeSy is on Bluesky! bsky.app/profile/nesy...
Check out the 2025 edition of the NeSy conference:
2025.nesyconf.org
General Chair: @lgilpin.bsky.social
Programme Chairs: @e-giunchiglia.bsky.social @emilevankrieken.com @pascalhitzler.bsky.social
@tarekbesold.bsky.social @arturgarcez.bsky.social
Check out the 2025 edition of the NeSy conference:
2025.nesyconf.org
General Chair: @lgilpin.bsky.social
Programme Chairs: @e-giunchiglia.bsky.social @emilevankrieken.com @pascalhitzler.bsky.social
@tarekbesold.bsky.social @arturgarcez.bsky.social