The paper was rejected despite all scores being "Accept" or better, because the AC says they didn't compare with some other papers, which were never mentioned before. The AC should have raised this to the authors earlier, or figured out the relevance with help of the reviewers.
RESEARCH
-
Tom Burns Shares Thoughtful Response to Peer Reviewers
By
–
Tom (
@tfburns
) gives a thoughtful final response to his reviewers, which wasn't made public. Read it here! -
Model Available in Lean VSCode Plugin for Researchers
By
–
We’ve made our model available through the Lean VSCode plugin to allow researchers to explore the capabilities within the Lean environment. We hope you’ll build on this work as part of our shared pursuit of rapid progress in this exciting field.
-
HyperTree Proof Search Advances Neural Theorem Solving
By
–
Using HyperTree Proof Search we created a new neural theorem solver that was able to solve 5x more International Math Olympiad problems than any previous AI system & best previous state-of-the-art systems on miniF2F & Metamath.
— AI at Meta (@AIatMeta) 3 novembre 2022
More in our new post ⬇️Using HyperTree Proof Search we created a new neural theorem solver that was able to solve 5x more International Math Olympiad problems than any previous AI system & best previous state-of-the-art systems on miniF2F & Metamath. More in our new post
-
LLMs Generate Convincing but Wrong Completions Often
By
–
this is an issue I also have with copilot. it often very convincingly pushes for long and beautiful but wrong completions LLM as “internet influencers”: surface form trumps content https://
x.com/shortstein/sta
/shortstein/status/1587857803678748672
… -
Meta Unveils ESM Metagenomic Atlas with 617 Million Structures
By
–
Meta presents "ESM Metagenomic Atlas", a database of 617 million metagenomic protein structures https://actuia.com/actualite/meta-presente-esm-metagenomic-atlas-une-base-de-donnees-de-617-millions-de-structures-proteiques-metagenomiques/
… #AI #artificialintelligence
@Meta -
Math Transformer Interpretability and Generalization Research
By
–
What is my math transformer doing? — Three results on interpretability and generalization Charton et al.: https://
arxiv.org/abs/2211.00170 #MachineLearning #DeepLearning #ArtificialIntelligence -
AI Predicts Skin Cancer Recurrence with Machine Learning
By
–
Artificial Intelligence Method Can Help Predict Skin Cancer Recurrence https://
healthitanalytics.com/news/artificia
l-intelligence-method-can-help-predict-skin-cancer-recurrence
… @HITAnalytics #Healthcare #AI #DataScience #Python #Robots #BigData #Analytics #100DaysofCode #IoT #serverless #womenwhocode #DeepLearning #DigitalTransformation #MachineLearning -
MIT CSAIL Talk Summary Shared by Researcher
By
–
Oh wow, this is a very nice summary thread of my talk today @MIT_CSAIL . Thank you Nur😍 https://t.co/77HtuimQ27
— Fei-Fei Li (@drfeifei) 3 novembre 2022Oh wow, this is a very nice summary thread of my talk today @MIT_CSAIL . Thank you Nur
-
AI Generated Academic Papers: Biology, Economics, Physics, ML
By
–
What AI thinks we academics publish… I asked MidJourney to generate a biology, economics, physics, and a machine learning paper. They look like they are from an alternate universe where Reviewer 3 is an Eldritch Horror (aren’t they all), but I bet you can guess which is which.