yangzhch6/Qwen2.5-Math-1.5B-DARS-B-ET
2B
•
Updated
•
3
Zhicheng YANG
yangzhch6
AI & ML interests
reasoning with LLMs
Recent Activity
authored
a paper
1 day ago
LogicSolver: Towards Interpretable Math Word Problem Solving with
Logical Prompt-enhanced Learning
authored
a paper
1 day ago
Process-Driven Autoformalization in Lean 4
authored
a paper
1 day ago
DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for
In-Context Learning
Organizations
None yet