Search research

Topics & fields

1,201–1,230 of 3,699

Papers

CardsList
  1. Optimizing the Cost-Quality Tradeoff of Agentic Theorem Provers in Lean

    Jun 3, 2026Kári Rögnvaldsson, Chenhao Sun, Jasper Dekoninck +1TheoremTrade-Off

  2. FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models

    May 11, 2026Zeynel A. Uluşan, Burak S. Akbudak, Can S. Erer +1TheoremReasoning Benchmark

  3. State-Centric Decision Process

    May 12, 2026Sungheon Jeong, Ryozo Masukawa, Sanggeon Yun +2Markov Decision ProcessesAgent Decisions

  4. Why Do Vision Language Models Struggle To Recognize Human Emotions?

    Apr 16, 2026Madhav Agarwal, Sotirios A. Tsaftaris, Laura Sevilla-Lara +1Vision-LanguageEmotion