12 citations · 13 across the 10 of their papers we have counts for
4 papers · 1 filter
Second-Order Problem Solving for Recursive Self-Improvement in Formal Verification
Yuxuan Jiang, Aditya Vempaty, Ashish Jagmohan
Recursive self-improvement (RSI) enables agents to iteratively optimize their workflows via execution feedback. However, standard RSI typically operates as a first-order optimizer:…
SCRIBE: Structured Mid-Level Supervision for Tool-Using Language Models
Yuxuan Jiang, Francis Ferraro
Training reliable tool-augmented agents remains a significant challenge, largely due to the difficulty of credit assignment in multi-step reasoning. While process-level reward mode…
Learning How to Use Tools, Not Just When: Pattern-Aware Tool-Integrated Reasoning
Ningning Xu, Yuxuan Jiang, Shubhashis Roy Dipta +1
Tool-integrated reasoning (TIR) has become a key approach for improving large reasoning models (LRMs) on complex problems. Prior work has mainly studied when to invoke tools, while…
From Generation to Judgment: Opportunities and Challenges of LLM-as-a-judge
Dawei Li, Bohan Jiang, Liangjie Huang +10
Assessment and evaluation have long been critical challenges in artificial intelligence (AI) and natural language processing (NLP). Traditional methods, usually matching-based or s…