Cover Image

Fast Analysis of the OpenAI O1-Preview Model in Solving Random K-SAT Problem: Does the LLM Solve the Problem Itself or Call an External SAT Solver?

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Marino, Raffaele
Format:	Preprint
Published:	2024
Subjects:	Computation and Language Disordered Systems and Neural Networks Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Dynamical Cavity Method for Hypergraphs and its Application to Quenches in the k-XOR-SAT Problem
by: Maier, Aude, et al.
Published: (2024)

Benchmarking Graph Neural Networks in Solving Hard Constraint Satisfaction Problems
by: Skenderi, Geri, et al.
Published: (2026)

Local equations describe unreasonably efficient stochastic algorithms in random K-SAT
by: Machado, David, et al.
Published: (2025)

A Geometric Perspective on the Difficulties of Learning GNN-based SAT Solvers
by: Skenderi, Geri
Published: (2025)

Backsolution: A Framework for Solving Inverse Problems via Automatic Differentiation
by: Kobayashi, Koji, et al.
Published: (2025)

Solving Distance-Based Optimization Problems Using Optical Hardware
by: Li, Guangyao, et al.
Published: (2025)

Robustness of the Random Language Model
by: Lalegani, Fatemeh, et al.
Published: (2023)

Exact full-RSB SAT/UNSAT transition in infinitely wide two-layer neural networks
by: Annesi, Brandon L., et al.
Published: (2024)

Local geometry of NAE-SAT solutions in the condensation regime
by: Sly, Allan, et al.
Published: (2023)

Interacting Copies of Random Constraint Satisfaction Problems
by: Angelini, Maria Chiara, et al.
Published: (2025)

The Garden of Forking Paths: Observing Dynamic Parameters Distribution in Large Language Models
by: Nicolini, Carlo, et al.
Published: (2024)

Daydreaming Hopfield Networks and their surprising effectiveness on correlated data
by: Serricchio, Ludovica, et al.
Published: (2024)

Solving Sudoku using oscillatory neural networks
by: Haverkort, Bram F., et al.
Published: (2025)

Auxiliary Physics-Informed Neural Networks for Forward, Inverse, and Coupled Radiative Transfer Problems
by: Riganti, Roberto, et al.
Published: (2023)

Solving Classical and Quantum Spin Glasses with Deep Boltzmann Quantum States
by: Leone, Luca, et al.
Published: (2026)

A Complex Network Analysis on The Eigenvalue Spectra of Random Spin Systems
by: Xue, Qiaomu, et al.
Published: (2023)

Solving combinatorial optimization problems through stochastic Landau-Lifshitz-Gilbert dynamical systems
by: Chen, Dairong, et al.
Published: (2024)

Exact Fixed-Point Constraints in Neural-ODEs with Provable Universality
by: Pacifico, Feliciano Giuseppe, et al.
Published: (2026)

ML-based Method for Solving the Microkinetic Model of Fischer-Tropsch Synthesis with Varying Catalyst/Reactor Parameters
by: Demchuk, Taras, et al.
Published: (2025)

The Longest Increasing Subsequence Problem revisited
by: Franz, Silvio, et al.
Published: (2026)

The Problem Of Image Super-Resolution, Denoising And Some Image Restoration Methods In Deep Learning Models
by: Pham, Ngoc-Giau, et al.
Published: (2024)

Glass-like Caging with Random Planes
by: Bonnet, Gilles, et al.
Published: (2023)

Train Stochastic Non Linear Coupled ODEs to Classify and Generate
by: Gagliani, Stefano, et al.
Published: (2025)

Random transverse and longitudinal field Ising chains
by: Petö, Tamás, et al.
Published: (2025)

The Spectral Boundary of Block Structured Random Matrices
by: Patil, Nirbhay, et al.
Published: (2023)

Random Apollonian networks with tailored clustering coefficient
by: Souza, Eduardo M. K., et al.
Published: (2024)

Spectral and Entanglement Properties of the Random Exchange Heisenberg Chain
by: Gao, Yilun, et al.
Published: (2024)

Dynamic Mean-Field Theory for Continuous Random Networks
by: Zúñiga-Galindo, W. A.
Published: (2024)

Scaling of Static and Dynamical Properties of Random Anisotropy Magnets
by: Garanin, Dmitry A., et al.
Published: (2024)

Sparse Interactions Reshape Stability in Random Lotka-Volterra Dynamics
by: Tarabolo, Mattia, et al.
Published: (2025)

Anomalous Random Neural Networks: a Special Renewal Process
by: Zhang, Hong, et al.
Published: (2024)

Ergodicity Breaking and High-Dimensional Chaos in Random Recurrent Networks
by: Martorell, Carles, et al.
Published: (2025)

Solving Inverse Problems in Stochastic Self-Organizing Systems through Invariant Representations
by: Najarro, Elias, et al.
Published: (2025)

Fast relaxation in metallic glasses studied by measurements of the internal friction at high frequencies
by: Afonin, G. V., et al.
Published: (2024)

Solving adversarial examples requires solving exponential misalignment
by: Salvatore, Alessandro, et al.
Published: (2026)

Random geometry of maximum-density dimer packings of the site-diluted kagome lattice
by: Bhola, Ritesh, et al.
Published: (2025)

Localization Transition on Random Graphs with Chiral and Bogoliubov-de Gennes Symmetry Classes
by: Kochergin, Daniil
Published: (2025)

A Quantum Approximate Optimization Algorithm for Local Hamiltonian Problems
by: Kannan, Ishaan, et al.
Published: (2024)

Impact of Random Spatial Truncation and Reciprocal-Space Binning on the Detection of Hyperuniformity in Disordered Systems
by: Liu, Yuan, et al.
Published: (2025)

Phase transitions in the mini-batch size for sparse and dense two-layer neural networks
by: Marino, Raffaele, et al.
Published: (2023)