AutoSAT: Automatically Optimize SAT Solvers via Large Language Models

1 code implementation • 16 Feb 2024 • Yiwen Sun, Furong Ye, Xianyin Zhang, Shiyu Huang, BingZhen Zhang, Ke Wei, Shaowei Cai

Conflict-Driven Clause Learning (CDCL) is the mainstream framework for solving the Satisfiability problem (SAT), and CDCL solvers typically rely on various heuristics, which have a significant impact on their performance.

DISC-FinLLM: A Chinese Financial Large Language Model based on Multiple Experts Fine-tuning

1 code implementation • 23 Oct 2023 • Wei Chen, Qiushi Wang, Zefei Long, Xianyin Zhang, Zhongtian Lu, Bingxuan Li, Siyuan Wang, Jiarong Xu, Xiang Bai, Xuanjing Huang, Zhongyu Wei

We propose Multiple Experts Fine-tuning Framework to build a financial large language model (LLM), DISC-FinLLM.

Language Modeling Language Modelling +3