Picture for Xianyin Zhang

Xianyin Zhang

AutoSAT: Automatically Optimize SAT Solvers via Large Language Models

Add code
Feb 16, 2024
Figure 1 for AutoSAT: Automatically Optimize SAT Solvers via Large Language Models
Figure 2 for AutoSAT: Automatically Optimize SAT Solvers via Large Language Models
Figure 3 for AutoSAT: Automatically Optimize SAT Solvers via Large Language Models
Figure 4 for AutoSAT: Automatically Optimize SAT Solvers via Large Language Models
Viaarxiv icon

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

Add code
Oct 25, 2023
Viaarxiv icon