Same Simulation, Different Evidence: Where Retrieved Tool Output Costs LLM Agents Accuracy
Paper • 2610.26836 • Published • 4
UC Riverside
university
AI & ML interests
None defined yet.
Recent Activity
View all activity
Papers
Same Simulation, Different Evidence: Where Retrieved Tool Output Costs LLM Agents Accuracy
Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization
grenadeComing
submitted a
paper to Daily Papers 5 days ago
grenadeComing
submitted a
paper to Daily Papers 7 days ago