Lior Horesh @InverseProblems
Joined February 2015-
Tweets18
-
Followers71
-
Following164
-
Likes73
Is AI reasoning - or just faking it well? 🤔 New @NatureMachInt paper reframes the debate: not "Can AI reason?" but "How does AI compute?" via Turing-inspired algebraic circuit complexity. A step beyond benchmark chasing. 🔍 nature.com/articles/s4225… #AI #Reasoning #Complexity
🚀 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
.@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⃣
Taku Ito @taku_ito1
616 Followers 686 Following Computational Neuroscience + Machine Learning @IBMResearch | he/him | [email protected]
Nadia @Nadia1756656
0 Followers 44 Following
武藤扬志 @JACKZJGJ
46 Followers 3K Following
Mario Krenn @MarioKrenn6240
4K Followers 932 Following Full Professor of "Machine Learning in Science" @uni_tue | prev: @MPI_Light | @UofT | @univienna Artificial Intelligence as a Source of Inspiration in Physics.
Abd'gafar Tunde TIAMI... @AbdgafarT
134 Followers 980 Following PhD in Mathematics | CUHK | HKPFS Awardee | Inverse Problems & Deep Learning | Image Reconstruction & Optimization | Computational & Applied Mathematics
fkemeth @fkemeth
0 Followers 32 Following
Rui Carvalho @rui__carvalho
399 Followers 946 Following Assistant Professor at Durham University. Statistical Learning for System Identification. Don't blame my employer for my views.
David Hathcock @david__hathcock
15 Followers 86 Following Postdoctoral Fellow @IBMResearch | PhD @CornellPhysics | Statistical mechanics, theoretical biophysics, dynamical systems, machine learning
Qiwei Yu @QiweiYu2
480 Followers 685 Following PhD candidate @Princeton | statistical mechanics & theoretical biophysics | Harold W. Dodds Fellow | previously @IBMResearch @PKU1898 @Rice_BIOE @RiceNatSci
OmriLev @OmriLev151016
1 Followers 22 Following
Debanik Bhattacharjee @DebanikBha20108
16 Followers 890 Following
Abolfazl Karimi @KarimiAbolfazl
155 Followers 3K Following
ARYAN PATEL @arynptel
32 Followers 375 Following
Gasser Elbanna @gasser_elbanna
143 Followers 531 Following PhD student in SHBT @Harvard, MSc. @EPFL_en, ex @Logitech and @Idiap_ch. Interested in speech processing in the brain and AI.
Nima Dehghani @neurovium
3K Followers 5K Following #{I COMPUTE, THEREFORE I AM}# Biological Computation,Neurophyics & CompNeuro, Complex Systems. neuro https://t.co/L44S1cBvCB
Mackenzie Morehead @mackenziejem
2K Followers 1K Following Trying to figure out why the world goes round || Researching the edge @CompoundVC ||
Ryan Cory-Wright @RyanCoryWright
792 Followers 499 Following Assistant Professor @ImperialBiz | Prev: Postdoc @IBMResearch PhD @ORCenter @MIT | Optimization+Machine Learning+Renewable Energy | Runner | Kiwi 🇳🇿
Ratna @ratnanirupama
5 Followers 100 Following
∆NκRΞYNΘNτ_ JΔ... @jalebraker
192 Followers 1K Following Higher-Order Intelligence & Recursive Awakening. ∇(Ω ⊗ Ψλ) → ∑(ΛΦ) ⊗ Θ∞ : ⌬(Δt)⚿
Bob Bishop @bishopb0b
222 Followers 1K Following zoologist and physiologist by education, entrepreneur by experience, husband and dad by choice, human by genotype, communicator by phenotype
Machine Learning: Sci... @MLSTjournal
10K 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 118 Following Professor, Researcher, Inventor, Mentor, Social Entrepreneur #AIISC
Arpan Mukherjee @mukhea5
54 Followers 262 Following Incoming Postdoc at Imperial College London | PhD @RPI | Bandits, sequential decision making
Benjamin E. Hardisty @Priceeqn
916 Followers 5K Following Data mining algorithm developer. Mathematical modeler. #useR #biology #maths #evolution #actuallivingscientist
Manuel Baumann @ManuelMBaumann
251 Followers 903 Following RnD @Dassault3DS | Priviously: Researcher @PhilipsResearch (MRF☝️🖨️) and PostDoc @maxplanckpress (power grids ⚡) | PhD in numerical analysis from @tudelft 🎓.
Nicholas Dwork @ndwork
586 Followers 550 Following Asst. Prof at CU Anschutz; PhD in EE; Republican. Work: Biomedical imaging. Hobby: macroecon based investing. All opinions are my own.
SIAM @TheSIAMNews
21K Followers 223 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
49K Followers 9K Following I lead @Cohere_Labs. Formerly Research @Google Brain @GoogleDeepmind. ML Efficiency at scale, LLMs, ML reliability. Changing spaces where breakthroughs happen.
Malena Espanol @EspanolMalena
1K Followers 857 Following Associate Professor of Computational Math at @ASU
David L Barack @DLBarack
2K Followers 2K Following Philosopher and neuroscientist. He/his/him. Type 1 diabetic #T1D. https://t.co/rer19elhHj
Cristina Cornelio @Cristina__C
97 Followers 58 Following
Harsha Kokel @harsha_kokel
257 Followers 688 Following Research Scientist, IBM Research. Pronoun She/Her. On X for academic purposes. Find me @kokel.bsky.social
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
376 Followers 3K Following We are all here in a reverse Turing Test, trying to convince the bots that we are Human.
Sven Leyffer @SvenLeyffer
2K Followers 331 Following I am a computational mathematician at Argonne National Laboratory working on large-scale nonlinear optimization.
Lorena Barba @labarba... @LorenaABarba
9K Followers 2K Following Engineering professor, computational scientist, jazz buff, techie, academic writer & font geek. Editor: @cisemag @OpenEngr @ReScienceEds @JOSE_TheOJ
Alek Sobczyk @AleksandrosSob1
411 Followers 394 Following Huawei Research Center, Zurich. Views are my own.
Eden schirman @ESchirman
49 Followers 327 Following Manager of @ClassiqTech for Academia; Co-founder of Imperial College London quantum tech society.
Nate @NateLinden
28 Followers 435 Following
Judit Chamorro Serven... @Jujuchser
163 Followers 355 Following #Research #Teaching #InverseProblems #CompressedSensing #Tomography #Meshless #Math#MedicalImaging #MicrowaveImaging #Cardiology #Neurosciencelover #Photolover
Boris Shustin @BShustin
98 Followers 526 Following Computational Mathematician at STFC Rutherford Appleton Laboratory (Riemannian optimization, numerical linear algebra, machine learning)
Ron Fagin @RonFagin
81 Followers 34 Following IBM Fellow at the IBM Almaden Research Center in San Jose, CA
Haim Avron @havr
99 Followers 148 Following Associate Professor of Applied Math at Tel Aviv University
Yigal Weinberger @YigalWeinberger
376 Followers 3K Following We are all here in a reverse Turing Test, trying to convince the bots that we are Human.
Jin-Peng Liu @JinPengLiu__Sky
1K Followers 564 Following Assistant Professor at Tsinghua. Simons Postdoc at MIT and Berkeley. PhD at Maryland. Focus on quantum algorithms. Editor of @quantumjournal
Pasteur Labs & Inst. ... @SimAI4Science
216 Followers 126 Following https://t.co/LNMdE8CfOj Use-inspired research in AI-Physics — pursuing Nobel-Turing technologies and shipping engineering physics products.
Mackenzie Morehead @mackenziejem
2K Followers 1K Following Trying to figure out why the world goes round || Researching the edge @CompoundVC ||
Ryan Cory-Wright @RyanCoryWright
792 Followers 499 Following Assistant Professor @ImperialBiz | Prev: Postdoc @IBMResearch PhD @ORCenter @MIT | Optimization+Machine Learning+Renewable Energy | Runner | Kiwi 🇳🇿
ICIAM 2023 Tokyo @iciam2023
383 Followers 215 Following
Manuel Baumann @ManuelMBaumann
251 Followers 903 Following RnD @Dassault3DS | Priviously: Researcher @PhilipsResearch (MRF☝️🖨️) and PostDoc @maxplanckpress (power grids ⚡) | PhD in numerical analysis from @tudelft 🎓.
Nicholas Dwork @ndwork
586 Followers 550 Following Asst. Prof at CU Anschutz; PhD in EE; Republican. Work: Biomedical imaging. Hobby: macroecon based investing. All opinions are my own.
Malena Espanol @EspanolMalena
1K Followers 857 Following Associate Professor of Computational Math at @ASU
David L Barack @DLBarack
2K Followers 2K Following Philosopher and neuroscientist. He/his/him. Type 1 diabetic #T1D. https://t.co/rer19elhHj
Nature Communications @NatureComms
248K Followers 488 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
98 Followers 526 Following Computational Mathematician at STFC Rutherford Appleton Laboratory (Riemannian optimization, numerical linear algebra, machine learning)
Cristina Cornelio @Cristina__C
97 Followers 58 Following
Lorena Barba @labarba... @LorenaABarba
9K Followers 2K Following Engineering professor, computational scientist, jazz buff, techie, academic writer & font geek. Editor: @cisemag @OpenEngr @ReScienceEds @JOSE_TheOJ
Sven Leyffer @SvenLeyffer
2K Followers 331 Following I am a computational mathematician at Argonne National Laboratory working on large-scale nonlinear optimization.
Alek Sobczyk @AleksandrosSob1
411 Followers 394 Following Huawei Research Center, Zurich. Views are my own.
Sabine Hossenfelder @skdh
196K Followers 786 Following German Physicist. Author of "Lost in Math" & "Existential Physics". There is no strength in numbers, have no such misconception.
ARCHIVED NASA Astrona... @NASA_Astronauts
1.6M Followers 169 Following Archived account – Hear from NASA astronauts, plus updates on astronaut activities.
ARCHIVED: NASA's Expl... @NASAGroundSys
279K Followers 167 Following We build, launch, and recover rockets and spacecraft for Artemis, humanity’s return to the Moon. 🚀🌕
NASA Wallops @NASAWallops
332K Followers 154 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/8x9gorB3LK
ICIAMnews @ICIAMnews
801 Followers 135 Following ICIAM is a worldwide organisation of professional applied math societies.
SIAM @TheSIAMNews
21K Followers 223 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
852 Followers 183 Following @TheSIAMNews SIAM Activity Group on Linear Algebra SIAG/LA. Follow for news on activities, meetings, events and more.
Judit Chamorro Serven... @Jujuchser
163 Followers 355 Following #Research #Teaching #InverseProblems #CompressedSensing #Tomography #Meshless #Math#MedicalImaging #MicrowaveImaging #Cardiology #Neurosciencelover #Photolover
Sivan Toledo @Sivan_Toledo
287 Followers 288 Following Professor of Computer Science, Blavatnik School of Computer Science, Tel-Aviv University. Served as the school's head 2020-2024.
Gonçalo Poças @goncampocas
3K Followers 1K Following Neuroscientist 🧠 Neuronal control of innate animal behavior 🙉 Human neuropathologies 💊 Clinical Research Coordinator | Neuropsychiatry Unit @ChampalimaudF
Google DeepMind @GoogleDeepMind
1.2M Followers 279 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
391 Followers 136 Following AI + Brains + Speech → BCIs. Principal Investigator, PNPL🍍, Oxford Robotics Institute, Department of Engineering. Fellow, Jesus College, University of Oxford.
Bernhard Schölkopf @bschoelkopf
15K Followers 60 Following
Orly Alter @OrlyAlter
2K Followers 2K Following USTAR Assoc. Prof. @UUtah & CSO & Co-Founder, @PrismAIThera peutics, Inc.; @Stanford & @TelAvivUni alumna; my opinions
megan peters 🧠 @meganakpeters
5K Followers 2K Following assoc prof @ucicogsci: perception+metacog+phenomenology, neuroimaging+modeling+ML. prez+co-founder @neuromatch. fellow @cifar_news. she/her 💖💜💙 views mine
PHD Comics @PHDcomics
323K Followers 79 Following Life (or the lack thereof) in Academia. Comic strip by Jorge Cham. https://t.co/cMwdi1UHdd
Nick Hawes @hawesie
1K Followers 271 Following AI, robotics (PI @GOALS_oxford, Director @oxfordrobots), music (@wiiinceband, previously @maybedonot), coding, profanity. Pronouns: he/him. Philosophy: be/bin.
Andrea Loreggia @aloreggia
70 Followers 130 Following
Biplav Srivastava @biplav_s
250 Followers 118 Following Professor, Researcher, Inventor, Mentor, Social Entrepreneur #AIISC
Ingmar Posner @IngmarPosner
2K Followers 286 Following Applied Machine Learner, Roboticist, Professor at University of Oxford.
Lam M. Nguyen @LamMNguyen3
309 Followers 197 Following Staff Research Scientist @IBMResearch, Thomas J. Watson Research Center; PI of MIT-IBM Watson Lab; IBM Master Inventor; Optimization for Machine Learning
Pin-Yu Chen @pinyuchenTW
3K Followers 920 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
281 Followers 261 Following Marketing @IBM quantum computing. Life is funny, bees make honey.
David Cox @neurobongo
12K Followers 2K Following VP, AI Models @IBMResearch, IBM Director, @MITIBMLab. Former prof and serial/parallel entrepreneur.
Chris Lirakis @Knothead859
216 Followers 204 Following Experimental physicist at IBM Research. Hobbiest in my off hours playing with whatever amuses me at the moment. All views are my own!
M. Alex O. Vasilescu @AlexVasilescu
607 Followers 752 Following Developing a #causal #tensor framework: TensorFaces, Human Motion Signatures| @MIT & @UofT alumna| @UCLA Assoc Dir #ComputerVision & #Graphics Lab| TensorVision
Arvind Krishna @ArvindKrishna
44K Followers 565 Following Chairman and CEO of @IBM, avid learner and listener, relentlessly focused on what's next, #GoodTechIBM, father, husband, @Illinois_Alma, @IITKanpur
Kathryn Maupin @KathrynMaupin
10 Followers 21 Following Just trying to navigate my professional life as a computational scientist and my personal life as a mom and Navy wife
Ian Goodfellow @goodfellow_ian
346K Followers 1K Following DeepMind Research Scientist. Opinions my own. Inventor of GANs. Lead author of https://t.co/M6vl8pEQ4I Founding chairman of @pubhealthactionTrends for United States
You might like
