Oren Sultan

12 papers A* 2Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
LLMs versus the Halting Problem: Revisiting Program Termination Prediction.
CoRR
Oren Sultan, Jordi Armengol-Estapé, Pascal Kesseli, Julien Vanegue, Dafna Shahaf, Yossi Adi, Peter W. O'Hearn
2025 J jnl
CWM: An Open-Weights LLM for Research on Code Generation with World Models.
CoRR
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
2025 J jnl
Towards Reliable Proof Generation with LLMs: A Neuro-Symbolic Approach.
CoRR
Oren Sultan, Eitan Stern, Dafna Shahaf
2024 — conf
ParallelPARC: A Scalable Pipeline for Generating Natural-Language Analogies.
NAACL-HLT
Oren Sultan, Yonatan Bitton, Ron Yosef, Dafna Shahaf
2024 J jnl
ParallelPARC: A Scalable Pipeline for Generating Natural-Language Analogies.
CoRR
Oren Sultan, Yonatan Bitton, Ron Yosef, Dafna Shahaf
2024 — conf
Visual Editing with LLM-based Tool Chaining: An Efficient Distillation Approach for Real-Time Applications.
EMNLP (Industry Track)
Oren Sultan, Alexander Khasin, Guy Shiran, Asnat Greenstein-Messica, Dafna Shahaf
2024 J jnl
Visual Editing with LLM-based Tool Chaining: An Efficient Distillation Approach for Real-Time Applications.
CoRR
Oren Sultan, Alex Khasin, Guy Shiran, Asnat Greenstein-Messica, Dafna Shahaf
2022 A* conf
Breakpoint Transformers for Modeling and Tracking Intermediate Beliefs.
EMNLP
Kyle Richardson, Ronen Tamari, Oren Sultan, Dafna Shahaf, Reut Tsarfaty, Ashish Sabharwal
2022 J jnl
Breakpoint Transformers for Modeling and Tracking Intermediate Beliefs.
CoRR
Kyle Richardson, Ronen Tamari, Oren Sultan, Reut Tsarfaty, Dafna Shahaf, Ashish Sabharwal
2022 J jnl
From Judgement's Premises Towards Key Points.
CoRR
Oren Sultan, Rayen Dhahri, Yauheni Mardan, Tobias Eder, Georg Groh
2022 A* conf
Life is a Circus and We are the Clowns: Automatically Finding Analogies between Situations and Processes.
EMNLP
Oren Sultan, Dafna Shahaf
2022 J jnl
Life is a Circus and We are the Clowns: Automatically Finding Analogies between Situations and Processes.
CoRR
Oren Sultan, Dafna Shahaf