yangzhch6/DARS-Data
Viewer
•
Updated
•
3.12k
•
39
Zhicheng YANG
yangzhch6
AI & ML interests
reasoning with LLMs
Recent Activity
authored
a paper
about 21 hours ago
LogicSolver: Towards Interpretable Math Word Problem Solving with
Logical Prompt-enhanced Learning
authored
a paper
about 21 hours ago
Process-Driven Autoformalization in Lean 4
authored
a paper
about 21 hours ago
DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for
In-Context Learning
Organizations
None yet