FormalML: A Benchmark for Evaluating Formal Subgoal Completion in Machine Learning Theory

Documenti analoghi

• Learning to Disprove: Formal Counterexample Generation with Large Language Models
  di: Li, Zenan, et al.
  Pubblicazione: (2026)
• Softened Symbol Grounding for Neuro-symbolic Systems
  di: Li, Zenan, et al.
  Pubblicazione: (2024)
• A Theoretical Study on Bridging Internal Probability and Self-Consistency for LLM Reasoning
  di: Zhou, Zhi, et al.
  Pubblicazione: (2025)
• Bridging Internal Probability and Self-Consistency for Effective and Efficient LLM Reasoning
  di: Zhou, Zhi, et al.
  Pubblicazione: (2025)
• Conformal Correction for Efficiency May be at Odds with Entropy
  di: Xu, Senrong, et al.
  Pubblicazione: (2025)