AutoSAT: Automatically Optimize SAT Solvers via Large Language Models

16 February 2024

Shiyu Huang

Papers citing "AutoSAT: Automatically Optimize SAT Solvers via Large Language Models"

3 / 3 papers shown

Title
Deep Insights into Automated Optimization with Large Language Models and Evolutionary Algorithms He Yu J. Liu 46 2 0 28 Oct 2024
Can Large Language Models Reason? A Characterization via 3-SAT Rishi Hazra Gabriele Venturato Pedro Zuidberg Dos Martires Luc de Raedt ELM ReLM LRM 30 4 0 13 Aug 2024
Chain-of-Thought Prompting Elicits Reasoning in Large Language Models Jason W. Wei Xuezhi Wang Dale Schuurmans Maarten Bosma Brian Ichter F. Xia Ed H. Chi Quoc Le Denny Zhou LM&Ro LRM AI4CE ReLM 361 8,495 0 28 Jan 2022