Oren Sultan

Oren Sultan

Research Scientist at Meta Fundamental AI Research (FAIR)·PhD Candidate in Computer Science at The Hebrew University

  oren.sultan (at) mail.huji.ac.il

Biography

I am an AI Research Scientist at Meta FAIR and a PhD candidate in Computer Science at The Hebrew University of Jerusalem, advised by Dafna Shahaf. Previously, I was an AI Researcher at Lightricks. My PhD research is generously funded by the Planning and Budgeting Committee (PBC) Fellowship of the Council for Higher Education (CHE) for outstanding PhD candidates in AI and Data Science in Israel.

I am particularly interested in neuro-symbolic AI, combining neural language models with symbolic algorithms to improve reasoning, verification, and problem solving. My recent work spans program reasoning, formal verification, geometry theorem proving, and analogical reasoning. Through these domains, I study how language models can be augmented with structured reasoning mechanisms to tackle problems beyond pattern matching.

I hold both MSc and BSc degrees in Computer Science from The Hebrew University of Jerusalem (magna cum laude), and was fortunate to participate in exchange programs at The University of Melbourne and Technical University of Munich. Prior to academia, I served as an officer (Captain) in Unit 8200, where I led data engineering teams and later co-founded a reserve unit of researchers and data scientists.

News

Publications

LLMs versus the Halting Problem: Revisiting Program Termination Prediction
Oren Sultan, Jordi Armengol-Estape, Pascal Kesseli, Julien Vanegue, Dafna Shahaf, Yossi Adi, Peter O'Hearn
ArXiv
CWM: An Open-Weights LLM for Research on Code Generation with World Models
Meta FAIR CodeGen Team, Oren Sultan
ArXiv
A Neuro-Symbolic Approach for Reliable Proof Generation with LLMs: A Case Study in Euclidean Geometry
Oren Sultan, Eitan Stern, Dafna Shahaf
ArXiv
Visual Editing with LLM-based Tool Chaining: An Efficient Distillation Approach for Real-Time Applications
Oren Sultan, Alex Khasin, Guy Shiran, Asnat Greenstein-Messica, Dafna Shahaf
EMNLP 2024
ParallelPARC: A Scalable Pipeline for Generating Natural-Language Analogies
Oren Sultan, Yonatan Bitton, Ron Yosef, Dafna Shahaf
NAACL 2024
Life is a Circus and We are the Clowns: Automatically Finding Analogies between Situations and Processes
Oren Sultan, Dafna Shahaf
EMNLP 2022
Breakpoint Transformers for Modeling and Tracking Intermediate Beliefs
Kyle Richardson, Ronen Tamari, Oren Sultan, Reut Tsarfaty, Dafna Shahaf, Ashish Sabharwal
EMNLP 2022
From Judgement's Premises Towards Key Points
Oren Sultan, Rayen Dhahri, Yauheni Mardan, Tobias Eder, Georg Groh
arXiv preprint

Invited Talks

  • Visual Editing with LLM-based Tool Chaining 🎨
    Nvidia & NLP IL - Natural Language Processing Israel Meetup, Israel 🇮🇱 (Apr 2025).
    Slides

  • Fine-Tuning Session 2 -- Real use-case from Lightricks
    AI course, Lightricks, Israel 🇮🇱 (Sep 2024).
    Slides Video

  • Fine-Tuning Large Language Models (LLMs)
    AI course, Lightricks, Israel 🇮🇱 (Sep 2024).
    Slides Video

  • Automatically Finding Analogies between Situations and Processes
    MSc graduation ceremony, The Hebrew University, Israel 🇮🇱 (June 2023).
    Slides

  • Analogies of Situations and Processes: Detection, Explanation, Generation
    SheffieldNLP, The University of Sheffield, UK 🇬🇧 (March 2023).
    Slides

  • Using LLMs for Natural-Language Analogies Generation
    BIU-NLP, Bar Ilan University, Israel 🇮🇱 (Jan 2023).
    Slides

  • Life is a Circus and We are the Clowns: Automatically Finding Analogies between Situations and Processes
    The Hebrew University, Israel 🇮🇱 (Jan 2023).
    Slides

  • Breakpoint Transformers for Modeling and Tracking Intermediate Beliefs
    Aristo team, Allen Institute for AI (AI2), Seattle, USA 🇺🇸 (Jan 2023).
    Slides

Academic Activities

Honors & Awards

  • 2024: 3-year Fellowship for outstanding PhD candidates in AI and Data Science, The Planning & Budgeting Committee (PBC) of Council For Higher Education (CHE), Israel.

  • 2022: Erasmus+ Scholarship for honors students, Technical University of Munich, Germany.

  • 2019: B.Sc in Computer Science – Magna Cum Laude, The Hebrew University of Jerusalem, Israel.

  • 2018: Scholarship for honors students, The University of Melbourne, Australia.

  • 2013: Annual Excellence Tech Project Award, The Israeli Intelligence Corps, Commander of Unit 8200 (rank: Brigadier general).

  • 2012: Annual Excellence Team Award, The Israeli Intelligence Corps, Commander of R&D, Unit 8200 (rank: Colonel).