1 citations · 2 across the 6 of their papers we have counts for
7 papers
ToolMATH: A Diagnostic Benchmark for Long-Horizon Tool Use under Systematic Tool-Catalog Constraints
Hyeonje Choi, Jeongsoo Lee, Hyojun Lee +1
We introduce \ToolMATH, a math-grounded diagnostic benchmark for evaluating long-horizon tool use under controllable tool-catalog conditions. \ToolMATH converts stepwise MATH solut…
Stop-RAG: Value-Based Retrieval Control for Iterative RAG
Jaewan Park, Solbee Cho, Jay-Yoon Lee
Iterative retrieval-augmented generation (RAG) enables large language models to answer complex multi-hop questions, but each additional loop increases latency, costs, and the risk…
Latent Self-Consistency for Reliable Majority-Set Selection in Short- and Long-Answer Reasoning
Jungsuk Oh, Jay-Yoon Lee
Probabilistic decoding in Large Language Models (LLMs) often yields inconsistent outputs, particularly on complex or long-form questions. Self-Consistency (SC) mitigates this for s…
Retargeting an Abstract Interpreter for a New Language by Partial Evaluation
Jay Lee
It is well-known that abstract interpreters can be systematically derived from their concrete counterparts using a "recipe," but developing sound static analyzers remains a time-co…
UniFault: A Fault Diagnosis Foundation Model from Bearing Data
Emadeldeen Eldele, Mohamed Ragab, Xu Qing +5
Machine fault diagnosis (FD) is a critical task for predictive maintenance, enabling early fault detection and preventing unexpected failures. Despite its importance, existing FD m…
LaSEr-Edit: Localized Span-level Error Editing with Energy-based Localization
Hye Ryung Son, Saehee Eom, Mooho Song +1
As large language models (LLMs) are widely adopted in real-world applications, it has become critical to ensure LLMs satisfy safety constraints, such as non-toxicity and logical co…
Case-Based Reasoning Approach for Solving Financial Question Answering
Yikyung Kim, Jay-Yoon Lee
Measuring a machine's understanding of human language often involves assessing its reasoning skills, i.e. logical process of deriving answers to questions. While recent language mo…