Program Semantic Inequivalence Game with Large Language Models

Documenti analoghi

• Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification
  di: Barone, Antonio Valerio Miceli, et al.
  Pubblicazione: (2026)
• Used Car Salesbots? Honesty and Credulity of LLMs as Bargaining Agents under Partial Information
  di: Miceli-Barone, Antonio Valerio, et al.
  Pubblicazione: (2026)
• Neuro-symbolic Weak Supervision: Theory and Semantics
  di: Upreti, Nijesh, et al.
  Pubblicazione: (2025)
• Emergent Representations of Program Semantics in Language Models Trained on Programs
  di: Jin, Charles, et al.
  Pubblicazione: (2023)
• Zero, Finite, and Infinite Belief History of Theory of Mind Reasoning in Large Language Models
  di: Tang, Weizhi, et al.
  Pubblicazione: (2024)