Psychometric-Based Evaluation for Theorem Proving with Large Language Models

Documenti analoghi

• HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement
  di: Hu, Jilin, et al.
  Pubblicazione: (2025)
• Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4
  di: Zhang, Jianyu, et al.
  Pubblicazione: (2026)
• DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning
  di: Zhang, Ziyin, et al.
  Pubblicazione: (2025)
• Automata-Based Steering of Large Language Models for Diverse Structured Generation
  di: Luan, Xiaokun, et al.
  Pubblicazione: (2025)
• Rethinking Supervision Granularity: Segment-Level Learning for LLM-Based Theorem Proving
  di: Xu, Shuo, et al.
  Pubblicazione: (2026)