Picture for Xianyin Zhang

Xianyin Zhang

FinMCP-Bench: Benchmarking LLM Agents for Real-World Financial Tool Use under the Model Context Protocol

Add code
Mar 26, 2026
Viaarxiv icon

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