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
models 0
None public yet
datasets 0
None public yet