Oren Sultan

Identifiers

• name variant Oren Sultan 0.60 · backfill

Papers (2)

1. LLMs versus the Halting Problem: Characterizing Program Termination Reasoning cs.CL · 2026 · author #1
2. A Neuro-Symbolic Approach for Reliable Proof Generation with LLMs: A Case Study in Euclidean Geometry cs.AI · 2025 · author #1

Mentions

• 2601.18987 #1 · arxiv_oai · confidence 0.70 Oren Sultan
• 2505.14479 #1 · arxiv_oai · confidence 0.70 Oren Sultan

Frequent Coauthors

• Dafna Shahaf 2 shared papers
• Eitan Stern 1 shared papers
• Jordi Armengol-Estape 1 shared papers
• Julien Vanegue 1 shared papers
• Pascal Kesseli 1 shared papers
• Peter O'Hearn 1 shared papers
• Yossi Adi 1 shared papers