LogicSolver: Towards Interpretable Math Word Problem Solving with Logical Prompt-enhanced Learning
Paper
• 2205.08232 • Published
Zhicheng YANG
yangzhch6
AI & ML interests
reasoning with LLMs
Recent Activity
updated
a model 4 days ago
yangzhch6/Qwen2.5-Math-7B-Think32k published
a model 4 days ago
yangzhch6/Qwen2.5-Math-7B-Think32k updated
a model 4 days ago
yangzhch6/Qwen2.5-Math-7B-Think32k-Openr1ColdStart46k-Syn Organizations
None yet
authored 7 papers 7 months ago
Process-Driven Autoformalization in Lean 4
Paper
• 2406.01940 • Published
DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning
Paper
• 2310.02954 • Published
OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling
Paper
• 2407.09887 • Published
AlignedCoT: Prompting Large Language Models via Native-Speaking Demonstrations
Paper
• 2311.13538 • Published
TreeRPO: Tree Relative Policy Optimization
Paper
• 2506.05183 • Published
Depth-Breadth Synergy in RLVR: Unlocking LLM Reasoning Gains with Adaptive Exploration
Paper
• 2508.13755 • Published
• 14