General Method for Solving Four Types of SAT Problems

27 December 2023

Congying Han

Papers citing "General Method for Solving Four Types of SAT Problems"

2 / 2 papers shown

Title
Accessing GPT-4 level Mathematical Olympiad Solutions via Monte Carlo Tree Self-refine with LLaMa-3 8B Di Zhang Xiaoshui Huang Dongzhan Zhou Yuqiang Li Wanli Ouyang LRM 49 55 0 11 Jun 2024
NeuroPrim: An Attention-based Model for Solving NP-hard Spanning Tree Problems Yuchen Shi Congying Han Tiande Guo 19 3 0 22 Oct 2022