Oren Sultan

According to our database, Oren Sultan authored at least 8 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

LLMs versus the Halting Problem: Revisiting Program Termination Prediction.

Oren Sultan, Jordi Armengol-Estapé, Pascal Kesseli, Julien Vanegue, Dafna Shahaf, Yossi Adi, Peter W. O'Hearn

CoRR, January, 2026

2025

CWM: An Open-Weights LLM for Research on Code Generation with World Models.

FAIR CodeGen team, Jade Copet, Quentin Carbonneaux, Gal Cohen, Jonas Gehring, Jacob Kahn, Jannik Kossen, Felix Kreuk, Emily McMilin, Michel Meyer, Yuxiang Wei, David Zhang, Kunhao Zheng, Jordi Armengol-Estapé, Pedram Bashiri, Maximilian Beck, Pierre Chambon, Abhishek Charnalia, Chris Cummins, Juliette Decugis, Zacharias V. Fisches, François Fleuret, Fabian Gloeckle, Alex Gu, Michael Hassid, Daniel Haziza, Badr Youbi Idrissi, Christian Keller, Rahul Kindi, Hugh Leather, Gallil Maimon, Aram H. Markosyan, Francisco Massa, Pierre-Emmanuel Mazaré, Vegard Mella, Naila Murray, Keyur Muzumdar, Peter W. O'Hearn, Matteo Pagliardini, Dmitrii Pedchenko, Tal Remez, Volker Seeker, Marco Selvi, Oren Sultan, Sida Wang, Luca Wehrstedt, Ori Yoran, Lingming Zhang, Taco Cohen, Yossi Adi, Gabriel Synnaeve

CoRR, October, 2025

Towards Reliable Proof Generation with LLMs: A Neuro-Symbolic Approach.

Oren Sultan, Eitan Stern, Dafna Shahaf

CoRR, May, 2025

2024

ParallelPARC: A Scalable Pipeline for Generating Natural-Language Analogies.

Oren Sultan, Yonatan Bitton, Ron Yosef, Dafna Shahaf

Proceedings of the 2024 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers), 2024

Visual Editing with LLM-based Tool Chaining: An Efficient Distillation Approach for Real-Time Applications.

Oren Sultan, Alexander Khasin, Guy Shiran, Asnat Greenstein-Messica, Dafna Shahaf

Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing: EMNLP 2024, 2024

2022

From Judgement's Premises Towards Key Points.

Oren Sultan, Rayen Dhahri, Yauheni Mardan, Tobias Eder, Georg Groh

CoRR, 2022

Life is a Circus and We are the Clowns: Automatically Finding Analogies between Situations and Processes.

Oren Sultan, Dafna Shahaf

Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, 2022

Breakpoint Transformers for Modeling and Tracking Intermediate Beliefs.

Kyle Richardson, Ronen Tamari, Oren Sultan, Dafna Shahaf, Reut Tsarfaty, Ashish Sabharwal

Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, 2022