Lior Horesh @InverseProblems
Joined February 2015-
Tweets14
-
Followers54
-
Following161
-
Likes68
.@Cristina__C, @InverseProblems et al. propose a method that derives scientifically meaningful symbolic formulas by combining symbolic #regression with logical #reasoning. #AI #ML #GettingApplied @samsungresearch @IBMResearch @UMBC_CBEE @UMNChemistry nature.com/articles/s4146…
AI-Descartes can also distinguish between different sets of background theories. Given high precision atomic clock measurements and either Einstein’s or Newton’s theory, our tool can sort out which theory is more consistent with the data.
Given data on the orbital periods of celestial bodies, the SR module of AI-Descartes generates formulas that fit the data well, while the Reasoning module re-ranks them based on the distance to a given background theory and identifies the one that is closest to being derivable.
We tested AI-Descartes on Langmuir’s 1918 experimental data in an attempt to rediscover his theory of adsorption. Many expressions fit the data well, but only one (f2) is successfully derived from the background theory by the theorem prover.
Our paper is out in @NatureComms! We introduce AI-Descartes, an AI tool that uses both data and background theory for scientific discovery. Symbolic Regression, an #ML technique, generates formulas and an automated theorem prover checks their derivability.
For those of you interested in Neuro-Symbolic AI, consider joining us at the upcoming 2023 IBM Neuro-Symbolic Workshop (23-27 Jan, 9 am-12 pm ET). Registration is free at: lnkd.in/d5Cubcyi #ai #ibm #ibmresearch #neurosymbolicai #machinelearning #reasoning #knowledge
The Math Sciences group at IBM Research is looking for truly exceptional post-doc fellow(s) (Goldstine fellowship). Full consideration will be given to applications arriving by December 31, 2022 research.ibm.com/goldstine/
We (Mathematics of AI group at IBM Research) are seeking to hire an exceptional theoretical computer scientist or a mathematician who can extend their expertise to make fundamental breakthroughs in the broad field of AI. Details in the link... krb-sjobs.brassring.com/TGnewUI/Search…
Excited to announce our #NeurIPS2021 w/s on Metacognition in AI! Can't wait to get that conversation started with a stellar set of inter-disciplinary speakers and panelists. sites.google.com/view/metacogne…
A new tensor algebra offers provably optimal truncated decompositions, while also featuring matrix-mimetic properties. The framework, published in PNAS lnkd.in/dFsNwnt, addresses decades-long open problem lnkd.in/d94b5bc #research #ai #algorithms #algebra #bigdata
"Leveraging Secondary Storage to Simulate Deep 54-qubit Sycamore Circuits" is the #1 paper on Arxiv today in quantum physics. Congrats @jagunnels. See it at -> assert.pub/arxiv/quant-ph… and assert.pub/papers/1910.09…. Please retweet.
Fame is a fleeting thing. "Supplementary information for Quantum supremacy using a programmable superconducting processor" is now #1 (and worth reading). [Sole "SMAuthorship" (Social Media Authorship) because of co-authors, only @InverseProblems and I are on Twitter] 👻⚛️#⃣1⃣
Fame is a fleeting thing. "Supplementary information for Quantum supremacy using a programmable superconducting processor" is now #1 (and worth reading). [Sole "SMAuthorship" (Social Media Authorship) because of co-authors, only @InverseProblems and I are on Twitter] 👻⚛️#⃣1⃣
Bob Bishop @bishopb0b
91 Followers 962 FollowingMachine Learning: Sci.. @MLSTjournal
9K Followers 10K Following A multidisciplinary, #openaccess journal devoted to the application and development of #machinelearning for the sciences. Published by @IOPPublishing.Biplav Srivastava @biplav_s
250 Followers 117 Following Professor, Researcher, Inventor, Mentor, Social Entrepreneur #AIISCArpan Mukherjee @mukhea5
42 Followers 227 Following PhD @RPI | Bandits and sequential experimental designdaily proxima centaur.. @jm2cent
1K Followers 2K Following simulation prompt engineer. Internet I own you and the universe. Still sailing for oxygen in my spare time.Benjamin E. Hardisty @Priceeqn
920 Followers 5K Following Data mining algorithm developer. Mathematical modeler. #useR #biology #maths #evolution #actuallivingscientistManuel Baumann @ManuelMBaumann
273 Followers 937 Following RnD @Dassault3DS | Priviously: Researcher @PhilipsResearch (MRF☝️🖨️) and PostDoc @maxplanckpress (power grids ⚡) | PhD in numerical analysis from @tudelft 🎓.Nicholas Dwork @ndwork
575 Followers 438 Following Asst. Prof at CU Anschutz; PhD in Electrical Engineering. Work: Biomedical imaging. Hobby: macroecon based investing. All opinions are my own.SIAM @TheSIAMNews
21K Followers 233 Following Society for Industrial and Applied Mathematics is an international society that aims to serve & advance the disciplines of applied math & computational science.Sara Hooker @sarahookr
39K Followers 7K Following I lead @CohereForAI. Formerly Research @Google Brain @GoogleDeepmind. ML Efficiency at scale, LLMs, @trustworthy_ml. Changing spaces where breakthroughs happen.Malena Espanol @EspanolMalena
1K Followers 900 Following Assistant Professor of Computational Math at @ASU | Argentine-American | Tweets in Spanish/English | She/herDavid L Barack @DLBarack
2K Followers 2K Following Philosopher and neuroscientist. He/his/him. Type 1 diabetic #T1D. https://t.co/rer19elhHjCristina Cornelio @Cristina__C
89 Followers 48 FollowingHarsha Kokel @harsha_kokel
225 Followers 628 Following Research Scientist, IBM Research. Pronoun She/Her. On X for academic purposes.Luis Lamb @luislamb
4K Followers 3K Following #AI,#innovation & #tech; @imperialcollege PhD; @MIT MBA;@mitsloan; CS @inf_ufrgs #neurosymbolicAI pioneer #AIStrategy Personal tweets.Yigal Weinberger @YigalWeinberger
256 Followers 3K FollowingSven Leyffer @SvenLeyffer
2K Followers 373 Following I am a computational mathematician at Argonne National Laboratory working on large-scale nonlinear optimization.Lorena Barba @labarba.. @LorenaABarba
10K Followers 1K Following Engineering professor, computational scientist, jazz buff, techie, academic writer & font geek. Editor: @cisemag @OpenEngr @ReScienceEds @JOSE_TheOJAlek Sobczyk @AleksandrosSob1
358 Followers 370 Following IBM Research and ETH Zurich. Views are my own. Algorithms.Eden schirman @ESchirman
44 Followers 347 Following Manager of @ClassiqTech for Academia; Co-founder of Imperial College London quantum tech society.Nate @NateLinden
45 Followers 449 FollowingYin Zhou @LevineYin
6 Followers 143 FollowingJudit Chamorro Serven.. @Jujuchser
169 Followers 363 Following #Research #Teaching #InverseProblems #CompressedSensing #Tomography #Meshless #Math#MedicalImaging #MicrowaveImaging #Cardiology #Neurosciencelover #PhotoloverBoris Shustin @BShustin
111 Followers 480 Following Postdoctoral Research Associate at the University of Oxford - Applied mathematics (Riemannian optimization, numerical linear algebra, and machine learning)Ron Fagin @RonFagin
85 Followers 34 Following IBM Fellow at the IBM Almaden Research Center in San Jose, CAHaim Avron @havr
92 Followers 130 Following Associate Professor of Applied Math at Tel Aviv UniversityOrly Alter @OrlyAlter
2K Followers 2K Following USTAR Assoc. Prof. @UUtah & CSO & Co-Founder, @PrismAIThera peutics; @Stanford & @TelAvivUni alumna; 10th generation in #Israel; my opinionsmegan peters 🧠 on .. @meganakpeters
5K Followers 2K Following assoc prof @ucicogsci: perception+confidence+consciousness, neuroimaging+modeling+ML. prez+co-founder @neuromatch. fellow @cifar_news. she/her. views mine.Lam M. Nguyen @LamMNguyen3
300 Followers 199 Following Staff Research Scientist @IBMResearch, Thomas J. Watson Research Center; PI of MIT-IBM Watson Lab; IBM Master Inventor; Optimization for Machine LearningUria Mor @uria_mor
322 Followers 384 Following PhD candidate at TAU - Applied mathematics && Microbiome data analyst at WISAbe Asfaw @abe_asfaw
7K Followers 2K Following Quantum experimentalist and educator @GoogleQuantumAI, prev IBM Quantum and PhD @PrincetonPin-Yu Chen @pinyuchenTW
3K Followers 840 Following Principal research scientist@IBM Research & Chief Scientist@RPI-IBM AI Research Collaboration & PI@MIT-IBM AI Lab. IJCAI Computers & Thought Award Winner.Rene Zhang @rene_jianizhang
8 Followers 78 FollowingAriel Amir @Ariel_4321
1K Followers 125 Following Professor of physics, interested in mathematical modeling of living systems and in particular microbial growthMichael Raghib @michaelraghib
200 Followers 512 Following Data Scientist at IBM consulting | Ex -IBM Research | Ex - Los Alamos | Ex - Princeton | U of Glasgow Applied Maths PhD | Civil EngineerEnrique Vargas @evargas001
19 Followers 60 FollowingJin-Peng Liu @JinPengLiu__Sky
797 Followers 563 Following Postdoc at Center for Theoretical Physics, MIT and Simons Institute, Berkeley. PhD in applied math, UMD. Focus on quantum algorithms. Editor of @quantumjournalTyler R. Josephson �.. @trjosephson
1K Followers 1K Following AI & Theory-Oriented Molecular Science. New dad. Asst Prof at @UMBC_CBEE, learning proofs and programming in @leanprover. RT≠PV/nAIP 2015 Helsinki @2015Aip
25 Followers 93 Following The Applied Inverse Problems (AIP) conference series is the premier scientific meeting of the field, organized every two years.Alistair McEwan @alistair_mcewan
249 Followers 559 FollowingJohn A Gunnels @jagunnels
686 Followers 1K Following Father, Researcher/DE/Mgr/Coder, Dog Owner, NVIDIAN, Ex-{IBM,AWS}, HPC (Knowledgeable), AI (Competent), Math (Educated), and Quantum (Entangled). Opinions mine.Lukas F Lang @lukaslang
155 Followers 261 Following Head of Data Science and AI. Passionate about maths, science & data. Currently @voestalpine, previously @cambridge_uni @oeaw @univienna @tuvienna (he/him, 🇪🇺)Gruntman Eyal @EGruntman
34 Followers 22 FollowingICIAM 2023 Tokyo @iciam2023
408 Followers 232 FollowingManuel Baumann @ManuelMBaumann
273 Followers 937 Following RnD @Dassault3DS | Priviously: Researcher @PhilipsResearch (MRF☝️🖨️) and PostDoc @maxplanckpress (power grids ⚡) | PhD in numerical analysis from @tudelft 🎓.Nicholas Dwork @ndwork
575 Followers 438 Following Asst. Prof at CU Anschutz; PhD in Electrical Engineering. Work: Biomedical imaging. Hobby: macroecon based investing. All opinions are my own.Malena Espanol @EspanolMalena
1K Followers 900 Following Assistant Professor of Computational Math at @ASU | Argentine-American | Tweets in Spanish/English | She/herDavid L Barack @DLBarack
2K Followers 2K Following Philosopher and neuroscientist. He/his/him. Type 1 diabetic #T1D. https://t.co/rer19elhHjNature Communications @NatureComms
238K Followers 522 Following Nature Communications is an open access journal publishing high-quality research in all areas of the biological, physical, chemical and Earth sciences.Boris Shustin @BShustin
111 Followers 480 Following Postdoctoral Research Associate at the University of Oxford - Applied mathematics (Riemannian optimization, numerical linear algebra, and machine learning)Cristina Cornelio @Cristina__C
89 Followers 48 FollowingLorena Barba @labarba.. @LorenaABarba
10K Followers 1K Following Engineering professor, computational scientist, jazz buff, techie, academic writer & font geek. Editor: @cisemag @OpenEngr @ReScienceEds @JOSE_TheOJSven Leyffer @SvenLeyffer
2K Followers 373 Following I am a computational mathematician at Argonne National Laboratory working on large-scale nonlinear optimization.Alek Sobczyk @AleksandrosSob1
358 Followers 370 Following IBM Research and ETH Zurich. Views are my own. Algorithms.Sabine Hossenfelder @skdh
149K Followers 823 Following German Physicist. Author of "Lost in Math" & "Existential Physics". Creator of "Science Without the Gobbledygook". rt's/shares/likes are not endorsementsNASA Astronauts @NASA_Astronauts
1.6M Followers 183 Following Hear from NASA astronauts, plus updates on astronaut activities.NASA's Exploration Gr.. @NASAGroundSys
256K Followers 180 Following We build, launch, and recover rockets and spacecraft for Artemis, humanity’s return to the Moon. 🚀🌕NASA Wallops @NASAWallops
327K Followers 170 Following NASA's Wallops Flight Facility is NASA's only owned and operated launch range. Located on the Eastern Shore of Virginia. Verification: https://t.co/8x9gorB3LKICIAMnews @ICIAMnews
847 Followers 146 Following ICIAM is a worldwide organisation of professional applied math societies.SIAM @TheSIAMNews
21K Followers 233 Following Society for Industrial and Applied Mathematics is an international society that aims to serve & advance the disciplines of applied math & computational science.SIAM Activity Group o.. @siagla
856 Followers 196 Following @TheSIAMNews SIAM Activity Group on Linear Algebra SIAG/LA. Follow for news on activities, meetings, events and more.Judit Chamorro Serven.. @Jujuchser
170 Followers 364 Following #Research #Teaching #InverseProblems #CompressedSensing #Tomography #Meshless #Math#MedicalImaging #MicrowaveImaging #Cardiology #Neurosciencelover #PhotoloverSivan Toledo @Sivan_Toledo
200 Followers 184 Following Professor of Computer Science, Blavatnik School of Computer Science, Tel-Aviv University. Currently serving as the school's head.Gonçalo Poças @goncampocas
3K Followers 1K Following Neuroscientist 🧠 Neuronal control of innate animal behavior 🙉 Human neuropathologies 💊 Clinical Research Coordinator | Neuropsychiatry Unit @ChampalimaudFGoogle DeepMind @GoogleDeepMind
944K Followers 275 Following We’re a team of scientists, engineers, ethicists and more, committed to solving intelligence, to advance science and benefit humanity.Oiwi Parker Jones @oiwi3000
300 Followers 129 Following AI + Brains + Speech → BCIs. Principal Investigator, PNPL🍍. Departments of Engineering and Clinical Neurosciences. Fellow, Jesus College, University of Oxford.Bernhard Schölkopf @bschoelkopf
14K Followers 60 FollowingOrly Alter @OrlyAlter
2K Followers 2K Following USTAR Assoc. Prof. @UUtah & CSO & Co-Founder, @PrismAIThera peutics; @Stanford & @TelAvivUni alumna; 10th generation in #Israel; my opinionsmegan peters 🧠 on .. @meganakpeters
5K Followers 2K Following assoc prof @ucicogsci: perception+confidence+consciousness, neuroimaging+modeling+ML. prez+co-founder @neuromatch. fellow @cifar_news. she/her. views mine.PHD Comics @PHDcomics
345K Followers 75 Following Life (or the lack thereof) in Academia. Comic strip by Jorge Cham. https://t.co/cMwdi1UHddNick Hawes @hawesie
1K Followers 296 Following AI, robotics (PI @GOALS_oxford, Director @oxfordrobots), music (@wiiinceband, previously @maybedonot), coding, profanity. Pronouns: he/him. Philosophy: be/bin.Andrea Loreggia @aloreggia
75 Followers 133 FollowingBiplav Srivastava @biplav_s
250 Followers 117 Following Professor, Researcher, Inventor, Mentor, Social Entrepreneur #AIISCIngmar Posner @IngmarPosner
2K Followers 283 Following Applied Machine Learner, Roboticist, Professor at University of Oxford.Lam M. Nguyen @LamMNguyen3
300 Followers 199 Following Staff Research Scientist @IBMResearch, Thomas J. Watson Research Center; PI of MIT-IBM Watson Lab; IBM Master Inventor; Optimization for Machine LearningPin-Yu Chen @pinyuchenTW
3K Followers 840 Following Principal research scientist@IBM Research & Chief Scientist@RPI-IBM AI Research Collaboration & PI@MIT-IBM AI Lab. IJCAI Computers & Thought Award Winner.Christine Vu @nycvu
293 Followers 274 Following Marketing @IBM quantum computing. Life is funny, bees make honey.David Cox @neurobongo
13K Followers 2K Following VP, AI Models @IBMResearch, IBM Director, @MITIBMLab. Former prof and serial/parallel entrepreneur. Not really posting here anymore... see you on BlueskyChris Lirakis @Knothead859
194 Followers 131 Following Experimental physicist at IBM Research. Hobbiest in my off hours playing with whatever amuses me at the moment. All views are my own!Manuela (Alex) O. Vas.. @AlexVasilescu
610 Followers 763 Following Developing a #causal #tensor framework: TensorFaces, Human Motion Signatures| @MIT & @UofT alumna| @UCLA Assoc Dir #ComputerVision & #Graphics Lab| TensorVisionArvind Krishna @ArvindKrishna
45K Followers 571 Following Chairman and CEO of @IBM, avid learner and listener, relentlessly focused on what's next, #GoodTechIBM, father, husband, @Illinois_Alma, @IITKanpurKathryn Maupin @KathrynMaupin
12 Followers 22 Following Just trying to navigate my professional life as a computational scientist and my personal life as a mom and Navy wifeIan Goodfellow @goodfellow_ian
299K Followers 1K Following Research Scientist at DeepMind. Opinions my own. Inventor of GANs. Lead author of https://t.co/M6vl8pEifaFrancesca Rossi @frossi_t
8K Followers 126 Following #AI #Ethics Global Leader and Distinguished Research Staff Member @IBMResearch | @IBM Fellow AAAI PresidentJavi 🇪🇸 @backtosnow
2K Followers 982 Following Loving my job as Flight Test Engineer. Proud husband and father of 3. ✈ The opinions shown here are my ownGuy Gratton @GuyG_Boffin
958 Followers 602 Following Aviation polymath. Mostly work for Cranfield University, but views all my own. He/Him/Dr/Renshi/Captain...Andrew Childs @andrewmchilds
7K Followers 485 Following Quantum information researcher @UofMaryland. Professor @umdcs and @umiacs; Co-director @JointQuICS; Director @NSF QLCI for Robust Quantum Simulation.Earl T Campbell @earltcampbell
4K Followers 624 Following Quantum wizardry // VP of Quantum Science @riverlane_io & opinions are mine // senior lecturer @sheffielduni.False statement, read my papers instead of inventing opinions I do not hold and have never voiced. x.com/jrgange/status…
Understanding the Capabilities of Large Language Models for Automated Planning arxiv.org/abs/2305.16151 ✍️@VishalPallagani @keerthi166 @frossi_t @biplav_s @InverseProblems @aloreggia et al. via @arxiv #AI #LLMs #capabilities #automation #planning ℹ️ Automated planning is…
Closing ceremony at #ICIAM2023 Thank you @iciam2023
Happening now @ #ICIAM2023: Yousef Saad of @UMNews is delivering the 2023 John von Neumann Lecture - join us in building D!
Yousef Saad, @UMNews, is the recipient of the 2023 John von Neumann Prize. Dr. Saad will be awarded the John von Neumann Prize and deliver the associated lecture tomorrow, August 22 at 7:45 p.m. JST at #ICIAM2023. Congratulations, Dr. Saad! Learn more: sinews.siam.org/Details-Page/y…
Engaging plenary talk by @AlfioQuarteroni at #ICIAM2023 in #Tokyo! ICIAM Lagrange Prize Lecture "THE PULSE OF MATH" @mox_lab @polimi @ICIAMnews @iciam2023 #LagrangePrize #AppliedMath
Congratulations to SIAM Fellow and former SIAM President Cleve Moler of @MathWorks, who is the inaugural recipient of the newly-established ICIAM Industry Prize! He's leading an exploration of #matrices in building D at @iciam2023; stop by if you're here! #ICIAM2023
Congratulations to #ICIAM2023 winners! 🥳🥳👏🏼👏🏼👏🏼
SIAM Member and Fellow Michele Benzi kicks off day 5 of #ICIAM2023 with his talk “Matrix Functions and the Analysis of Complex Networks." Join us in building B101 and learn more about his talk: iciam2023.org/3488#Benzi #matrixfunctions
Congratulations to SIAM Fellow @AlfioQuarteroni of @polimi, who was honored with the ICIAM Lagrange Prize at @iciam2023 in Tokyo! He is delivering an associated prize lecture on "The Pulse of #Math." Read more about his research here: iciam2023.org/3488#Quarteroni #ICIAM2023
Giving a talk later today on mixed-integer least squares formulations of the GNSS snapshot positioning problem. #ICIAM2023
Don't forget to stop by the SIAM booth at #ICIAM2023 in building E to get discounts on books and membership. Visit us at our booth to learn more!
It is always great to see my amazing academic sister, Elizabeth Newman. #ICIAM2023
Tonight at 7:45 p.m. JST, SIAM Member and Fellow Ingrid Daubechies is delivering an invited lecture titled “Old-fashioned Machine Learning: Using Diffusion Methods to Learn Underlying Structure” at #ICIAM2023 in room B101 - make sure to stop by! iciam2023.org/3488#Daubechies
One of my favorite talks at #ICIAM2023 was given by @TammyKolda
Congrats to SIAM member and SIMODS Editor-in-Chief @TammyKolda of MathSci.ai who is currently delivering an #ICIAM2023 invited lecture about randomized #algorithms for tensor decomposition! Learn more about her talk here: iciam2023.org/3488#Kolda @iciam2023
SIAM member @InverseProblems of @IBMResearch is delivering his talk, “Should we Derive or Let the Data Drive? Symbiotizing Data-driven Learning and Knowledge-based Reasoning to Accelerate Symbolic Discovery” at #ICIAM2023. Join us in congratulating him on his invited lecture!
@InverseProblems referencing Bacon and Descartes at #ICIAM2023 @iciam2023
More details in the paper and the SI! Check it out: nature.com/articles/s4146… website: ai-descartes.github.io #AIReasoning #Regression #ML #AI #ScientificDiscovery #AI4science #ScientificTheories @trjosephson @InverseProblems @IBMResearch @samsungresearch @UMBC_CBEE @UMNChemistry
Excited to share our paper in @NatureComms! A culmination of 5 years working with folks at @IBMResearch to build #AI for discovering *and deriving* theories in science.
Our paper is out in @NatureComms! We introduce AI-Descartes, an AI tool that uses both data and background theory for scientific discovery. Symbolic Regression, an #ML technique, generates formulas and an automated theorem prover checks their derivability.
.@Cristina__C, @InverseProblems et al. propose a method that derives scientifically meaningful symbolic formulas by combining symbolic #regression with logical #reasoning. #AI #ML #GettingApplied @samsungresearch @IBMResearch @UMBC_CBEE @UMNChemistry nature.com/articles/s4146…