Zhicheng YANG

yangzhch6's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

authored 7 papers 3 months ago

LogicSolver: Towards Interpretable Math Word Problem Solving with Logical Prompt-enhanced Learning

Paper • 2205.08232 • Published May 17, 2022

Process-Driven Autoformalization in Lean 4

Paper • 2406.01940 • Published Jun 4, 2024

DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning

Paper • 2310.02954 • Published Oct 4, 2023

OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling

Paper • 2407.09887 • Published Jul 13, 2024

AlignedCoT: Prompting Large Language Models via Native-Speaking Demonstrations

Paper • 2311.13538 • Published Nov 22, 2023

TreeRPO: Tree Relative Policy Optimization

Paper • 2506.05183 • Published Jun 5

Depth-Breadth Synergy in RLVR: Unlocking LLM Reasoning Gains with Adaptive Exploration

Paper • 2508.13755 • Published Aug 19 • 14