Cristina Cornelio

@Cristina__C

Joined October 2010

58Following

97Followers

Cristina Cornelio Retweeted

Lior Horesh@InverseProblems · Sep 19

🚀 Breaking News in AI & Math! 🚀 Our AI-Hilbert paper, features in Nature’s AI & ML Editorial Highlight! 🌟 Check it out: Paper lnkd.in/ehYiADt5 Editorial Highlight lnkd.in/eDk3SfM7 GitHub lnkd.in/eVWkFshw. #AI #Innovation #Discovery #NatureComms

448

Cristina Cornelio@Cristina__C · Sep 9

Happy to share that our AI-Descartes article in Nature Communications (ai-descartes.github.io) has received the Pat Goldberg Memorial Best Paper Award, an annual recognition from IBM Research for outstanding papers! 🎉 #ScientificDiscovery #AI4Science

156

Cristina Cornelio Retweeted

Nature Communications@NatureComms · Jul 15, 2024

AI-Hilbert shows that theory and data can be unified into a new scientific discovery paradigm using polynomial optimization, @RyanCoryWright @InverseProblems #GettingApplied nature.com/articles/s4146…

5.0K

Cristina Cornelio Retweeted

Ryan Cory-Wright@RyanCoryWright · Jul 14, 2024

Our paper "Evolving scientific discovery by unifying data and background knowledge with AI Hilbert" w @Cristina__C , Sanjeeb Dash, Bachir El Khadir, @InverseProblems has appeared in @NatureComms! It evolves the discovery phase of scientific method using polynomial optimization

799

Cristina Cornelio@Cristina__C · Jul 10, 2024

📢Call for Papers: Submit your latest research on Neurosymbolic Generative Models for our special issue. Fast track for recent conference papers available. Deadline: Nov 15, 2024. neurosymbolic-ai-journal.com/content/call-p… #AI #NeuroSymbolic #DeepLearning #GenerativeModels #NLP #reasoning #logic

139

Cristina Cornelio@Cristina__C · Jul 10, 2024

Check out our newly accepted work at #IROS2024! ➡️ recover-ontothor.github.io In this paper, we introduce RECOVER, a real-time #NeuroSymbolic method that combines ontologies, logical rules, and LLM planners for failure detection and recovery in #Robotics. #AI #AIReasoning #IROS

Cristina__C's tweet image. Check out our newly accepted work at #IROS2024!
➡️ recover-ontothor.github.io
In this paper, we introduce RECOVER, a real-time #NeuroSymbolic method that combines ontologies, logical rules, and LLM planners for failure detection and recovery in #Robotics.
#AI #AIReasoning #IROS

158

Cristina Cornelio@Cristina__C · Jun 7, 2024

[INTERNSHIP POSITIONS July-December 2024] Are you an outstanding PhD student looking for an internship with a top industrial AI lab? Check out our Internship Programme at Samsung AI Centre, Cambridge! sec.wd3.myworkdayjobs.com/en-US/Samsung_…

Cristina__C's tweet image. [INTERNSHIP POSITIONS July-December 2024]
Are you an outstanding PhD student looking for an internship with a top industrial AI lab?
Check out our Internship Programme at Samsung AI Centre, Cambridge!
sec.wd3.myworkdayjobs.com/en-US/Samsung_…

Cristina Cornelio@Cristina__C · Aug 11, 2023

🤖🔍 Check out this intriguing @arstechnica article dissecting the power of our AI-Descartes method within the realm of scientific discovery! 🧪📚 #AIReasoning #Regression #ML #AI #ScientificDiscovery #AI4science #ScientificTheories arstechnica.com/science/2023/0…

Cristina__C's tweet card. Getting AI to find scientific laws sometimes works, but it’s a long way from science.

380

Cristina Cornelio Retweeted

Ars Technica@arstechnica · Aug 8, 2023

What does it take to get AI to work like a scientist? arstechnica.com/?p=1959552&utm…

9.0K

Cristina Cornelio@Cristina__C · Aug 11, 2023

If you want to know more about NASR (Neural Attention for Symbolic Reasoning) the recording of my presentation at #NeSy2023 is now available here: youtu.be/GoCcSWWlPKQ

114