Lior Horesh

[Lior Horesh @InverseProblems]

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.

🔍 https://t.co/312eRutEfU

#AI #Reasoning #Complexity

[Lior Horesh @InverseProblems]

🚀 Breaking News in AI & Math! 🚀 Our AI-Hilbert paper, features in Nature’s AI & ML Editorial Highlight! 🌟

Check it out:
Paper https://t.co/CKh2W9NaJ7
Editorial Highlight https://t.co/X96UHDbPFM
GitHub https://t.co/5YzlNP9Hk8.

#AI #Innovation #Discovery #NatureComms

[Lior Horesh @InverseProblems]

Evolving scientific discovery by unifying data and background knowledge with AI Hilbert | Nature Communications

[Lior Horesh @InverseProblems]

AI-Hilbert is an attempt to evolve the Scientific Method by unifying hypothesis generation and hypothesis testing into a single step. The framework enables making scientific discoveries when both body of theory and data are limited https://t.co/6fzrwPwQ5d, https://t.co/3kttwjxW8C

[Nature Communications @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

https://t.co/yeHS2xg8I1

[Cristina Cornelio @Cristina__C]

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.

[Cristina Cornelio @Cristina__C]

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.

[Cristina Cornelio @Cristina__C]

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.

[Cristina Cornelio @Cristina__C]

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.

[Lior Horesh @InverseProblems]

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: https://t.co/6BiDuZMuCs

#ai #ibm #ibmresearch #neurosymbolicai #machinelearning #reasoning #knowledge

[Lior Horesh @InverseProblems]

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

https://t.co/AwYDEw0tuM

[Lior Horesh @InverseProblems]

@PeterShor1 @quantum_aram @regevlab @alfred_aho @QuantumGosset @ewintang @GilKalai @RichardCleve @preskill @krystasvore @ChadRigetti @skdh @lexfridman @frossi_t

[Lior Horesh @InverseProblems]

Those of you interested in what we hope is the first, end-to-end #quantum #AI #algorithm that offers provable exponential advantage on noisy quantum devices (NISQ), check https://t.co/oieZoLVO3c, and share your thoughts...

[Lior Horesh @InverseProblems]

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... https://t.co/YpAcZNIpJU

[Ingmar Posner @IngmarPosner]

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.

https://t.co/feuoliAGIZ

[Lior Horesh @InverseProblems]

A new tensor algebra offers provably optimal truncated decompositions, while also featuring matrix-mimetic properties. The framework, published in PNAS https://t.co/hn7I0QYvcc, addresses decades-long open problem https://t.co/SMCJ5HFfED #research #ai #algorithms #algebra #bigdata

[Assert Arxiv @assertpub_]

"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 -> https://t.co/ID8RoK0QAz and https://t.co/lO7w6mcr7a. Please retweet.

[John A Gunnels @jagunnels]

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⃣