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"

1 / 1 papers shown

Title
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 315 8,261 0 28 Jan 2022