Fetching the paper…
Reading the bibliography…
In this manuscript, I present an analysis on the performance of OpenAI O1-preview model in solving random K-SAT instances for K$\in {2,3,4}$ as a function of $\alpha=M/N$ where $M$ is the number of clauses and $N$ is the number of variables of the satisfiable problem.
The concept of frustration in spin glasses
P.W. Anderson · 1978
Earlier work this paper cites.
Pushing the envelope: planning, propositional logic, and stochastic search
Henry Kautz and Bart Selman · 1996
Earlier work this paper cites.
Some optimal inapproximability results
Johan Håstad · 2001
Earlier work this paper cites.
Analytic and algorithmic solution of random satisfiability problems
M. Mézard, G. Parisi, and R. Zecchina · 2002
Earlier work this paper cites.
Gibbs states and the set of solutions of random constraint satisfaction problems
Florent Krzakala, Andrea Montanari, Federico Ricci-Tersenghi, Guilhem Semerjian, and Lenka Zdeborová · 2007
Earlier work this paper cites.
Picosat essentials
Armin Biere · 2008
Earlier work this paper cites.
Clusters of solutions and replica symmetry breaking in random k-satisfiability
Andrea Montanari, Federico Ricci-Tersenghi, and Guilhem Semerjian · 2008
Earlier work this paper cites.
Information, Physics, and Computation
Marc Mezard and Andrea Montanari · 2009
Earlier work this paper cites.
Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications
A. Biere, A. Biere, M. Heule, H. van Maaren, and T. Walsh · 2009
Earlier work this paper cites.
Review of the satisfiability problem: Algorithms and analyses by uwe schöning and jacobo torán
William Gasarch · 2014
Earlier work this paper cites.
Deep learning
Yann LeCun, Yoshua Bengio, and Geoffrey Hinton · 2015
Earlier work this paper cites.
Proof of the satisfiability conjecture for large k
Jian Ding, Allan Sly, and Nike Sun · 2015
Cited alongside, same era.
Deep residual learning for image recognition
Kaiming He, Xiangyu Zhang, Shaoqing Ren, and Jian Sun · 2016
Cited alongside, same era.
The backtracking survey propagation algorithm for solving random k-sat problems
Raffaele Marino, Giorgio Parisi, and Federico Ricci-Tersenghi · 2016
Cited alongside, same era.
Attention is all you need
Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N. Gomez, Łukasz Kaiser, and Illia Polosukhin · 2017
Cited alongside, same era.
Solving high-dimensional partial differential equations using deep learning
Jiequn Han, Arnulf Jentzen, and Weinan E · 2018
Cited alongside, same era.
Denoising diffusion probabilistic models
Jonathan Ho, Ajay Jain, and Pieter Abbeel · 2020
Cited alongside, same era.
Chatgpt: A comprehensive review on background, applications, key challenges, bias, ethics, limitations and future scope
Partha Pratim Ray · 2023
Later among the works it cites.
Solving combinatorial optimization problems over graphs with bert-based deep reinforcement learning
Qi Wang, Kenneth H. Lai, and Chunlei Tang · 2023
Later among the works it cites.
Representational strengths and limitations of transformers
Clayton Sanford, Daniel Hsu, and Matus Telgarsky · 2024
Closest in time.
Faith and fate: limits of transformers on compositionality
Nouha Dziri, Ximing Lu, Melanie Sclar, Xiang Lorraine Li, Liwei Jiang, Bill Yuchen Lin, Peter West, Chandra Bhagavatula, Ronan Le Bras, Jena D. Hwang, Soumya Sanyal, Sean Welleck, Xiang Ren, Allyson Ettinger, Zaid Harchaoui, and Yejin Choi · 2024
Closest in time.
Introducing openai o1-preview
OpenAI · 2024
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Graph neural networks: A review of methods and applications
Jie Zhou, Ganqu Cui, Shengding Hu, Zhengyan Zhang, Cheng Yang, Zhiyuan Liu, Lifeng Wang, Changcheng Li, and Maosong Sun · 2020
Cited alongside, same era.
Learning from survey propagation: a neural network for max-e-3-sat
Raffaele Marino · 2021
Cited alongside, same era.
Deep learning: Foundations and concepts
Christopher M Bishop and Hugh Bishop · 2023
Cited alongside, same era.
Solving non-linear kolmogorov equations in large dimensions by using deep learning: a numerical comparison of discretization schemes
Raffaele Marino and Nicolas Macris · 2023
Cited alongside, same era.
Sparks of artificial general intelligence: Early experiments with gpt-4
Sébastien Bubeck, Varun Chandrasekaran, Ronen Eldan, Johannes Gehrke, Eric Horvitz, Ece Kamar, Peter Lee, Yin Tat Lee, Yuanzhi Li, Scott Lundberg, et al · 2023
Cited alongside, same era.
Ryan Lingo, Martin Arroyo, and Rajeev Chhajer · 2024
Closest in time.
Phase transitions in the mini-batch size for sparse and dense two-layer neural networks
Raffaele Marino and Federico Ricci-Tersenghi · 2024
Closest in time.
Spin glass experiments
Eric Vincent · 2024
Closest in time.
Verify k-sat instance assignment: verify.c file
Alfredo Braunstein · 2024
Closest in time.
K-sat in cnf format: makewff.c file
Henr Kautz · 2024
Closest in time.